{"id":"https://openalex.org/W2918124209","doi":"https://doi.org/10.1007/s10270-019-00721-4","title":"Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability","display_name":"Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability","publication_year":2019,"publication_date":"2019-02-22","ids":{"openalex":"https://openalex.org/W2918124209","doi":"https://doi.org/10.1007/s10270-019-00721-4","mag":"2918124209","pmid":"https://pubmed.ncbi.nlm.nih.gov/31975976"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-019-00721-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-019-00721-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-019-00721-4.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-019-00721-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035256469","display_name":"Christoph Czepa","orcid":"https://orcid.org/0000-0003-0043-5541"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I4210088715","display_name":"Hochschule Campus Wien","ror":"https://ror.org/003f4pg83","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210088715"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Christoph Czepa","raw_affiliation_strings":["Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090 Wien, Austria","Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090, Wien, Austria"],"raw_orcid":"https://orcid.org/0000-0003-0043-5541","affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090 Wien, Austria","institution_ids":["https://openalex.org/I4210088715"]},{"raw_affiliation_string":"Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026571530","display_name":"Amirali Amiri","orcid":"https://orcid.org/0000-0002-6915-6711"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I4210088715","display_name":"Hochschule Campus Wien","ror":"https://ror.org/003f4pg83","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210088715"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Amirali Amiri","raw_affiliation_strings":["Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090 Wien, Austria","Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090, Wien, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090 Wien, Austria","institution_ids":["https://openalex.org/I4210088715"]},{"raw_affiliation_string":"Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021651819","display_name":"Evangelos Ntentos","orcid":null},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I4210088715","display_name":"Hochschule Campus Wien","ror":"https://ror.org/003f4pg83","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210088715"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Evangelos Ntentos","raw_affiliation_strings":["Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090 Wien, Austria","Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090, Wien, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090 Wien, Austria","institution_ids":["https://openalex.org/I4210088715"]},{"raw_affiliation_string":"Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077943544","display_name":"Uwe Zdun","orcid":"https://orcid.org/0000-0002-6233-2591"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I4210088715","display_name":"Hochschule Campus Wien","ror":"https://ror.org/003f4pg83","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210088715"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Uwe Zdun","raw_affiliation_strings":["Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090 Wien, Austria","Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090, Wien, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090 Wien, Austria","institution_ids":["https://openalex.org/I4210088715"]},{"raw_affiliation_string":"Faculty of Computer Science, Research Group Software Architecture, University of Vienna, W\u00e4hringerstra\u00dfe 29, 1090, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021651819","https://openalex.org/A5026571530","https://openalex.org/A5035256469","https://openalex.org/A5077943544"],"corresponding_institution_ids":["https://openalex.org/I129774422","https://openalex.org/I4210088715"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":1996,"currency":"EUR","value_usd":2152},"fwci":0.8267,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.77253435,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"18","issue":"6","first_page":"3331","last_page":"3371"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8537987470626831},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6931955814361572},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.6004112362861633},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5625417232513428},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.5485518574714661},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5418111085891724},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5308001637458801},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5229050517082214},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4729739725589752},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44080281257629395},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4394005835056305}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8537987470626831},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6931955814361572},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.6004112362861633},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5625417232513428},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.5485518574714661},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5418111085891724},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5308001637458801},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5229050517082214},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4729739725589752},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44080281257629395},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4394005835056305},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10270-019-00721-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-019-00721-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-019-00721-4.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},{"id":"pmid:31975976","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/31975976","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and systems modeling","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:6944266","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/6944266","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Softw Syst Model","raw_type":"Text"},{"id":"pmh:info:fedora/oai:univie.ac.at:o:1078881","is_oa":true,"landing_page_url":"https://phaidra.univie.ac.at/o:1078881","pdf_url":null,"source":{"id":"https://openalex.org/S4306401993","display_name":"Phaidra (Universit\u00e4t Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129774422","host_organization_name":"University of Vienna","host_organization_lineage":["https://openalex.org/I129774422"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:1619-1366","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/s10270-019-00721-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-019-00721-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-019-00721-4.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1079356512","display_name":null,"funder_award_id":"843461","funder_id":"https://openalex.org/F4320323031","funder_display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft"},{"id":"https://openalex.org/G321107912","display_name":null,"funder_award_id":"I 2885-N33","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G3415867645","display_name":null,"funder_award_id":"864707","funder_id":"https://openalex.org/F4320323031","funder_display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft"},{"id":"https://openalex.org/G8394791770","display_name":"Ensuring Compliance of Architectural Design Decisions and Implementations","funder_award_id":"I2885","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320323031","display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","ror":"https://ror.org/028jc0449"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2918124209.pdf","grobid_xml":"https://content.openalex.org/works/W2918124209.grobid-xml"},"referenced_works_count":80,"referenced_works":["https://openalex.org/W35442119","https://openalex.org/W75923597","https://openalex.org/W125598877","https://openalex.org/W166417490","https://openalex.org/W179281627","https://openalex.org/W790410956","https://openalex.org/W1489391022","https://openalex.org/W1505485714","https://openalex.org/W1511267087","https://openalex.org/W1530366124","https://openalex.org/W1568529421","https://openalex.org/W1587026990","https://openalex.org/W1587715758","https://openalex.org/W1590315663","https://openalex.org/W1617452136","https://openalex.org/W1700264732","https://openalex.org/W1737185541","https://openalex.org/W1746353556","https://openalex.org/W1783768447","https://openalex.org/W1827565655","https://openalex.org/W1850929791","https://openalex.org/W1975880855","https://openalex.org/W1977603982","https://openalex.org/W1978813754","https://openalex.org/W1984936841","https://openalex.org/W1992602600","https://openalex.org/W1995956436","https://openalex.org/W1996832037","https://openalex.org/W1998300542","https://openalex.org/W2013500172","https://openalex.org/W2023808162","https://openalex.org/W2027769154","https://openalex.org/W2046517298","https://openalex.org/W2046895806","https://openalex.org/W2050419550","https://openalex.org/W2051123393","https://openalex.org/W2053327450","https://openalex.org/W2061152427","https://openalex.org/W2062989416","https://openalex.org/W2072600586","https://openalex.org/W2100680119","https://openalex.org/W2101107197","https://openalex.org/W2104537183","https://openalex.org/W2110065044","https://openalex.org/W2111492220","https://openalex.org/W2112128291","https://openalex.org/W2114006117","https://openalex.org/W2115309705","https://openalex.org/W2150780209","https://openalex.org/W2153671500","https://openalex.org/W2156683747","https://openalex.org/W2160221265","https://openalex.org/W2163851162","https://openalex.org/W2168113371","https://openalex.org/W2279954259","https://openalex.org/W2371033258","https://openalex.org/W2408710586","https://openalex.org/W2424693453","https://openalex.org/W2463421347","https://openalex.org/W2499406820","https://openalex.org/W2508935438","https://openalex.org/W2528217797","https://openalex.org/W2557762771","https://openalex.org/W2575298644","https://openalex.org/W2606699642","https://openalex.org/W2615532561","https://openalex.org/W2743053901","https://openalex.org/W2750977407","https://openalex.org/W2884095124","https://openalex.org/W2899987233","https://openalex.org/W2918124209","https://openalex.org/W3098135281","https://openalex.org/W3169860357","https://openalex.org/W3183398743","https://openalex.org/W4229772528","https://openalex.org/W4229781645","https://openalex.org/W4230096730","https://openalex.org/W4254363957","https://openalex.org/W4393478880","https://openalex.org/W4393740546"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2350953867","https://openalex.org/W1592102986","https://openalex.org/W2477338659","https://openalex.org/W1967076997","https://openalex.org/W2884095124"],"abstract_inverted_index":{"Mature":[0],"verification":[1],"and":[2,10,23,35,92,118,133],"monitoring":[3],"approaches,":[4],"such":[5],"as":[6],"complex":[7,85],"event":[8,86,88],"processing":[9,89],"model":[11],"checking,":[12],"can":[13],"be":[14,47],"applied":[15],"for":[16,51],"checking":[17],"compliance":[18,73,137],"specifications":[19,74],"at":[20],"design":[21],"time":[22],"runtime.":[24],"Little":[25],"is":[26],"known":[27],"about":[28],"the":[29,32,52,69,84,107],"understandability":[30,45,70,115],"of":[31,56,71,114],"different":[33],"formal":[34],"technical":[36],"languages":[37],"associated":[38],"with":[39,65,131],"these":[40],"approaches.":[41],"This":[42,59],"uncertainty":[43],"regarding":[44],"might":[46],"a":[48,62,111],"major":[49],"obstacle":[50],"broad":[53],"practical":[54],"adoption":[55],"those":[57],"techniques.":[58],"article":[60],"reports":[61],"controlled":[63],"experiment":[64],"215":[66],"participants":[67],"on":[68],"modeling":[72,77,136],"in":[75,99,135],"representative":[76],"languages,":[78],"namely":[79],"linear":[80],"temporal":[81],"logic":[82],"(LTL),":[83],"processing-based":[87],"language":[90],"(EPL)":[91],"property":[93],"specification":[94],"patterns":[95],"(PSP).":[96],"The":[97],"formalizations":[98],"PSP":[100,132],"were":[101],"overall":[102],"more":[103],"correct.":[104],"That":[105],"is,":[106],"pattern-based":[108],"approach":[109],"provides":[110],"higher":[112],"level":[113],"than":[116],"EPL":[117,134],"LTL.":[119],"More":[120],"advanced":[121],"users,":[122],"however,":[123],"seemingly":[124],"are":[125],"able":[126],"to":[127],"cope":[128],"equally":[129],"well":[130],"specifications.":[138]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}