{"id":"https://openalex.org/W1499058580","doi":"https://doi.org/10.1007/978-3-540-73196-2_4","title":"Specification of Timed EFSM Fault Models in SDL","display_name":"Specification of Timed EFSM Fault Models in SDL","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W1499058580","doi":"https://doi.org/10.1007/978-3-540-73196-2_4","mag":"1499058580"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-73196-2_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73196-2_4","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017475116","display_name":"Samrat S. Batth","orcid":null},"institutions":[{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]},{"id":"https://openalex.org/I4210093530","display_name":"City College","ror":"https://ror.org/00h90tg62","country_code":"US","type":"education","lineage":["https://openalex.org/I4210093530"]},{"id":"https://openalex.org/I125687163","display_name":"City College of New York","ror":"https://ror.org/00wmhkr98","country_code":"US","type":"education","lineage":["https://openalex.org/I125687163"]},{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"S. S. Batth","raw_affiliation_strings":["The City College and Graduate Center of the City University of New York, New York, NY 10016, USA","The City College and Graduate Center of the City University of New York, New York, NY 10016, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"The City College and Graduate Center of the City University of New York, New York, NY 10016, USA","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817","https://openalex.org/I4210093530","https://openalex.org/I125687163"]},{"raw_affiliation_string":"The City College and Graduate Center of the City University of New York, New York, NY 10016, USA#TAB#","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053352469","display_name":"Elisangela Rodrigues Vieira","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"E. R. Vieira","raw_affiliation_strings":["Laboratoire SAMOVAR (CNRS) and GET/INT Evry Cedex, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire SAMOVAR (CNRS) and GET/INT Evry Cedex, France","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072274443","display_name":"Ana Cavalli","orcid":"https://orcid.org/0000-0003-2586-9071"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"A. Cavalli","raw_affiliation_strings":["Laboratoire SAMOVAR (CNRS) and GET/INT Evry Cedex, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire SAMOVAR (CNRS) and GET/INT Evry Cedex, France","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060658112","display_name":"M. \u00dcmit Uyar","orcid":"https://orcid.org/0000-0001-6268-8259"},"institutions":[{"id":"https://openalex.org/I125687163","display_name":"City College of New York","ror":"https://ror.org/00wmhkr98","country_code":"US","type":"education","lineage":["https://openalex.org/I125687163"]},{"id":"https://openalex.org/I4210093530","display_name":"City College","ror":"https://ror.org/00h90tg62","country_code":"US","type":"education","lineage":["https://openalex.org/I4210093530"]},{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I121847817","display_name":"The Graduate Center, CUNY","ror":"https://ror.org/00awd9g61","country_code":"US","type":"education","lineage":["https://openalex.org/I121847817"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. \u00dc. Uyar","raw_affiliation_strings":["The City College and Graduate Center of the City University of New York, New York, NY 10016, USA","The City College and Graduate Center of the City University of New York, New York, NY 10016, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"The City College and Graduate Center of the City University of New York, New York, NY 10016, USA","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817","https://openalex.org/I4210093530","https://openalex.org/I125687163"]},{"raw_affiliation_string":"The City College and Graduate Center of the City University of New York, New York, NY 10016, USA#TAB#","institution_ids":["https://openalex.org/I174216632","https://openalex.org/I121847817"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5017475116"],"corresponding_institution_ids":["https://openalex.org/I121847817","https://openalex.org/I125687163","https://openalex.org/I174216632","https://openalex.org/I4210093530"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.4031,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.92557483,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"50","last_page":"65"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/extended-finite-state-machine","display_name":"Extended finite-state machine","score":0.9341158866882324},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8591101169586182},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6701304912567139},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5796011686325073},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5580233335494995},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5316508412361145},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.502809464931488},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.502220869064331},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4856199324131012},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.45051848888397217},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4381413459777832},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.43210574984550476},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3720294237136841}],"concepts":[{"id":"https://openalex.org/C181062253","wikidata":"https://www.wikidata.org/wiki/Q5421886","display_name":"Extended finite-state machine","level":3,"score":0.9341158866882324},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8591101169586182},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6701304912567139},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5796011686325073},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5580233335494995},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5316508412361145},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.502809464931488},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.502220869064331},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4856199324131012},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.45051848888397217},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4381413459777832},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43210574984550476},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3720294237136841},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-540-73196-2_4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73196-2_4","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.105.7748","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.7748","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-lor.int-evry.fr/~anna/faultmodel.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.119.600","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.600","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-lor.int-evry.fr/~vieira_e/profissional/artigos/evieira_forte07.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W62697410","https://openalex.org/W1524439890","https://openalex.org/W1557363488","https://openalex.org/W1562791265","https://openalex.org/W1796323021","https://openalex.org/W1919698623","https://openalex.org/W2097984101","https://openalex.org/W2099040451","https://openalex.org/W2101508170","https://openalex.org/W2102418068","https://openalex.org/W2122260303","https://openalex.org/W2125461457","https://openalex.org/W2125617568","https://openalex.org/W2126362024","https://openalex.org/W2133665104","https://openalex.org/W2155479111","https://openalex.org/W2162032875","https://openalex.org/W2168985013","https://openalex.org/W2422272475","https://openalex.org/W4245021562"],"related_works":["https://openalex.org/W2898425611","https://openalex.org/W2565237831","https://openalex.org/W2592399342","https://openalex.org/W1591156284","https://openalex.org/W285671046","https://openalex.org/W2140467164","https://openalex.org/W1541085282","https://openalex.org/W1501618234","https://openalex.org/W65556983","https://openalex.org/W242821809"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}