{"id":"https://openalex.org/W2046102833","doi":"https://doi.org/10.1145/2610375","title":"A Continuous ASM Modelling Approach to Pacemaker Sensing","display_name":"A Continuous ASM Modelling Approach to Pacemaker Sensing","publication_year":2014,"publication_date":"2014-10-07","ids":{"openalex":"https://openalex.org/W2046102833","doi":"https://doi.org/10.1145/2610375","mag":"2046102833"},"language":"en","primary_location":{"id":"doi:10.1145/2610375","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2610375","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.manchester.ac.uk/files/27523068/POST-PEER-REVIEW-PUBLISHERS.PDF","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075794170","display_name":"Richard Banach","orcid":"https://orcid.org/0000-0002-0243-9434"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Richard Banach","raw_affiliation_strings":["University of Manchester, Manchester, U.K","[University of Manchester, Manchester, U.K.]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, U.K","institution_ids":["https://openalex.org/I28407311"]},{"raw_affiliation_string":"[University of Manchester, Manchester, U.K.]","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102937444","display_name":"Huibiao Zhu","orcid":"https://orcid.org/0000-0002-0214-8565"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huibiao Zhu","raw_affiliation_strings":["East China Normal University, Shanghai, P.R. China","[East China Normal University, Shanghai, P.R. China]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"[East China Normal University, Shanghai, P.R. China]","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010256829","display_name":"Wen Su","orcid":"https://orcid.org/0000-0003-2904-8692"},"institutions":[{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wen Su","raw_affiliation_strings":["Shanghai University, Shanghai, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100782806","display_name":"Xiaofeng Wu","orcid":"https://orcid.org/0000-0002-3247-3772"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaofeng Wu","raw_affiliation_strings":["East China Normal University, Shanghai, P.R. China","[East China Normal University, Shanghai, P.R. China]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, P.R. China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"[East China Normal University, Shanghai, P.R. China]","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7147,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.72086795,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"24","issue":"1","first_page":"1","last_page":"40"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9984999895095825,"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/T11424","display_name":"Security and Verification in Computing","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.8172541856765747},{"id":"https://openalex.org/keywords/heartbeat","display_name":"Heartbeat","score":0.6862053871154785},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5866780281066895},{"id":"https://openalex.org/keywords/retrenchment","display_name":"Retrenchment","score":0.5660044550895691},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5192223191261292},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.47149795293807983},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4457463026046753},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41735243797302246},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37423354387283325},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3692569136619568},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2100822925567627}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8172541856765747},{"id":"https://openalex.org/C13852961","wikidata":"https://www.wikidata.org/wiki/Q17021880","display_name":"Heartbeat","level":2,"score":0.6862053871154785},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5866780281066895},{"id":"https://openalex.org/C101173714","wikidata":"https://www.wikidata.org/wiki/Q7316933","display_name":"Retrenchment","level":2,"score":0.5660044550895691},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5192223191261292},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.47149795293807983},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4457463026046753},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41735243797302246},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37423354387283325},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3692569136619568},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2100822925567627},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C3116431","wikidata":"https://www.wikidata.org/wiki/Q31728","display_name":"Public administration","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2610375","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2610375","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/e8c5992f-2fc6-435f-bc98-4c13963fa2fa","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/e8c5992f-2fc6-435f-bc98-4c13963fa2fa","pdf_url":"https://research.manchester.ac.uk/files/27523068/POST-PEER-REVIEW-PUBLISHERS.PDF","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Banach, R, Zhu, H, Su, W & Wu, X 2014, 'A Continuous ASM Modelling Approach to Pacemaker Sensing.', ACM Transactions on Software Engineering and Methodology, vol. 24, no. 1, 2. https://doi.org/10.1145/2610375","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:publications/e8c5992f-2fc6-435f-bc98-4c13963fa2fa","is_oa":true,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/a-continuous-asm-modelling-approach-to-pacemaker-sensing(e8c5992f-2fc6-435f-bc98-4c13963fa2fa).html","pdf_url":"https://pure.manchester.ac.uk/ws/files/27523068/POST-PEER-REVIEW-PUBLISHERS.PDF","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Banach, R, Zhu, H, Su, W & Wu, X 2014, 'A Continuous ASM Modelling Approach to Pacemaker Sensing.', ACM Transactions on Software Engineering and Methodology, vol. 24, no. 1, 2. https://doi.org/10.1145/2610375","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/e8c5992f-2fc6-435f-bc98-4c13963fa2fa","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/e8c5992f-2fc6-435f-bc98-4c13963fa2fa","pdf_url":"https://research.manchester.ac.uk/files/27523068/POST-PEER-REVIEW-PUBLISHERS.PDF","source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Banach, R, Zhu, H, Su, W & Wu, X 2014, 'A Continuous ASM Modelling Approach to Pacemaker Sensing.', ACM Transactions on Software Engineering and Methodology, vol. 24, no. 1, 2. https://doi.org/10.1145/2610375","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3976798118","display_name":null,"funder_award_id":"61361136002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5661849975","display_name":null,"funder_award_id":"ZF1213","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6139175423","display_name":null,"funder_award_id":"61321064","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8795910655","display_name":null,"funder_award_id":"2012AA011205","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321540","display_name":"Ministry of Science and Technology of the People's Republic of China","ror":"https://ror.org/027s68j25"},{"id":"https://openalex.org/F4320322370","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2046102833.pdf","grobid_xml":"https://content.openalex.org/works/W2046102833.grobid-xml"},"referenced_works_count":62,"referenced_works":["https://openalex.org/W83412136","https://openalex.org/W94396563","https://openalex.org/W105868789","https://openalex.org/W124310942","https://openalex.org/W149460789","https://openalex.org/W175120007","https://openalex.org/W200888852","https://openalex.org/W389501369","https://openalex.org/W577433293","https://openalex.org/W1483893502","https://openalex.org/W1504674997","https://openalex.org/W1505107787","https://openalex.org/W1510918931","https://openalex.org/W1519878256","https://openalex.org/W1549644356","https://openalex.org/W1577185948","https://openalex.org/W1582464544","https://openalex.org/W1583039016","https://openalex.org/W1596149888","https://openalex.org/W1600912029","https://openalex.org/W1717223777","https://openalex.org/W1853368733","https://openalex.org/W1875975371","https://openalex.org/W1887365265","https://openalex.org/W1966326072","https://openalex.org/W1985464429","https://openalex.org/W1988504507","https://openalex.org/W1993691278","https://openalex.org/W1995691455","https://openalex.org/W2014935324","https://openalex.org/W2021173545","https://openalex.org/W2024651864","https://openalex.org/W2036613369","https://openalex.org/W2039211361","https://openalex.org/W2040386004","https://openalex.org/W2048884567","https://openalex.org/W2074794556","https://openalex.org/W2080101372","https://openalex.org/W2081476106","https://openalex.org/W2098505698","https://openalex.org/W2101508170","https://openalex.org/W2106901380","https://openalex.org/W2110738068","https://openalex.org/W2115008727","https://openalex.org/W2117664102","https://openalex.org/W2125673566","https://openalex.org/W2146700742","https://openalex.org/W2147340401","https://openalex.org/W2157202548","https://openalex.org/W2166233963","https://openalex.org/W2169239645","https://openalex.org/W2173694265","https://openalex.org/W2561675875","https://openalex.org/W2562998114","https://openalex.org/W2624914479","https://openalex.org/W4205958241","https://openalex.org/W4230202218","https://openalex.org/W4230958226","https://openalex.org/W4253543873","https://openalex.org/W4285719527","https://openalex.org/W6639596232","https://openalex.org/W6677355907"],"related_works":["https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W4315606162","https://openalex.org/W113732979","https://openalex.org/W2340807904","https://openalex.org/W1547517160","https://openalex.org/W1483297389","https://openalex.org/W2060070465"],"abstract_inverted_index":{"The":[0],"cardiac":[1],"pacemaker":[2,62],"system,":[3],"proposed":[4],"as":[5,76],"a":[6,15,42,60,68,77,106],"problem":[7],"topic":[8],"in":[9,93],"the":[10,31,34,38,55,80,94,120],"Verification":[11],"Grand":[12],"Challenge,":[13],"offers":[14],"range":[16],"of":[17,36,108,117],"difficulties":[18],"to":[19,73,79,119],"address":[20],"for":[21],"formal":[22],"specification,":[23],"development,":[24],"and":[25,110],"verification":[26],"technologies.":[27],"We":[28,66,88],"focus":[29],"on":[30],"sensing":[32],"problem,":[33,75],"question":[35,48],"whether":[37],"heart":[39],"has":[40],"produced":[41],"spontaneous":[43],"heartbeat":[44],"or":[45],"not.":[46],"This":[47],"is":[49,102],"plagued":[50],"by":[51],"uncertainties":[52],"arising":[53],"from":[54],"often":[56],"unpredictable":[57],"environment":[58],"that":[59],"real":[61],"finds":[63],"itself":[64],"in.":[65],"develop":[67,89],"time":[69],"domain":[70,83],"tracking":[71],"approach":[72,84],"this":[74],"complement":[78],"usual":[81],"frequency":[82],"most":[85],"frequently":[86],"used.":[87],"our":[90],"case":[91],"study":[92],"continuous":[95],"ASM":[96],"(Abstract":[97],"State":[98],"Machine)":[99],"formalism,":[100],"which":[101],"briefly":[103],"summarised,":[104],"through":[105],"series":[107],"refinement":[109],"retrenchment":[111],"steps,":[112],"each":[113],"adding":[114],"new":[115],"levels":[116],"complexity":[118],"model.":[121]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}