Publication Information

{'id': 'https://openalex.org/W2152192540', 'doi': 'https://doi.org/10.1109/greencom-ithings-cpscom.2013.143', 'title': 'Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory', 'display_name': 'Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory', 'publication_year': 2013, 'publication_date': '2013-08-01', 'ids': {'openalex': 'https://openalex.org/W2152192540', 'doi': 'https://doi.org/10.1109/greencom-ithings-cpscom.2013.143', 'mag': '2152192540'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/greencom-ithings-cpscom.2013.143', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5045000548', 'display_name': 'Bingqing Xu', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4210139618', 'display_name': 'Shanghai Key Laboratory of Trustworthy Computing', 'ror': 'https://ror.org/030qbr085', 'country_code': 'CN', 'type': 'facility', 'lineage': ['https://openalex.org/I4210139618']}, {'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': 'Bingqing Xu', 'raw_affiliation_strings': ['Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China'], 'affiliations': [{'raw_affiliation_string': 'Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China', 'institution_ids': ['https://openalex.org/I4210139618', 'https://openalex.org/I66867065']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5100320388', 'display_name': 'Lichen Zhang', 'orcid': 'https://orcid.org/0000-0002-6711-0533'}, 'institutions': [{'id': 'https://openalex.org/I4210139618', 'display_name': 'Shanghai Key Laboratory of Trustworthy Computing', 'ror': 'https://ror.org/030qbr085', 'country_code': 'CN', 'type': 'facility', 'lineage': ['https://openalex.org/I4210139618']}, {'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': 'Lichen Zhang', 'raw_affiliation_strings': ['Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China'], 'affiliations': [{'raw_affiliation_string': 'Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China', 'institution_ids': ['https://openalex.org/I4210139618', 'https://openalex.org/I66867065']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 2, 'citation_normalized_percentile': {'value': 0.384992, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 72, 'max': 76}, 'biblio': {'volume': None, 'issue': None, 'first_page': '804', 'last_page': '811'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9997, '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.9997, '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/T10904', 'display_name': 'Embedded Systems Design Techniques', 'score': 0.999, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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/T10933', 'display_name': 'Real-Time Systems Scheduling', 'score': 0.9968, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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/cyber-physical-system', 'display_name': 'Cyber-physical system', 'score': 0.90998423}, {'id': 'https://openalex.org/keywords/physical-system', 'display_name': 'Physical system', 'score': 0.664776}], 'concepts': [{'id': 'https://openalex.org/C179768478', 'wikidata': 'https://www.wikidata.org/wiki/Q1120057', 'display_name': 'Cyber-physical system', 'level': 2, 'score': 0.90998423}, {'id': 'https://openalex.org/C116672817', 'wikidata': 'https://www.wikidata.org/wiki/Q1454986', 'display_name': 'Physical system', 'level': 2, 'score': 0.664776}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.65315306}, {'id': 'https://openalex.org/C17500928', 'wikidata': 'https://www.wikidata.org/wiki/Q959968', 'display_name': 'Control system', 'level': 2, 'score': 0.5430699}, {'id': 'https://openalex.org/C98045186', 'wikidata': 'https://www.wikidata.org/wiki/Q205663', 'display_name': 'Process (computing)', 'level': 2, 'score': 0.52711445}, {'id': 'https://openalex.org/C2775924081', 'wikidata': 'https://www.wikidata.org/wiki/Q55608371', 'display_name': 'Control (management)', 'level': 2, 'score': 0.47059906}, {'id': 'https://openalex.org/C77405623', 'wikidata': 'https://www.wikidata.org/wiki/Q598451', 'display_name': 'System dynamics', 'level': 2, 'score': 0.44623783}, {'id': 'https://openalex.org/C201995342', 'wikidata': 'https://www.wikidata.org/wiki/Q682496', 'display_name': 'Systems engineering', 'level': 1, 'score': 0.38899696}, {'id': 'https://openalex.org/C133731056', 'wikidata': 'https://www.wikidata.org/wiki/Q4917288', 'display_name': 'Control engineering', 'level': 1, 'score': 0.37075478}, {'id': 'https://openalex.org/C120314980', 'wikidata': 'https://www.wikidata.org/wiki/Q180634', 'display_name': 'Distributed computing', 'level': 1, 'score': 0.3399922}, {'id': 'https://openalex.org/C127413603', 'wikidata': 'https://www.wikidata.org/wiki/Q11023', 'display_name': 'Engineering', 'level': 0, 'score': 0.24318722}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.11470443}, {'id': 'https://openalex.org/C119599485', 'wikidata': 'https://www.wikidata.org/wiki/Q43035', 'display_name': 'Electrical engineering', 'level': 1, 'score': 0.10015753}, {'id': 'https://openalex.org/C111919701', 'wikidata': 'https://www.wikidata.org/wiki/Q9135', 'display_name': 'Operating system', 'level': 1, 'score': 0.08710444}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.0}, {'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/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/greencom-ithings-cpscom.2013.143', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 17, 'referenced_works': ['https://openalex.org/W1537241587', 'https://openalex.org/W1586417778', 'https://openalex.org/W1891690172', 'https://openalex.org/W1920010751', 'https://openalex.org/W1981808971', 'https://openalex.org/W2030263557', 'https://openalex.org/W2077099824', 'https://openalex.org/W2101508170', 'https://openalex.org/W2109468177', 'https://openalex.org/W2130774155', 'https://openalex.org/W2143869449', 'https://openalex.org/W2155079806', 'https://openalex.org/W2163590987', 'https://openalex.org/W2175000266', 'https://openalex.org/W268478568', 'https://openalex.org/W3137220996', 'https://openalex.org/W3217722183'], 'related_works': ['https://openalex.org/W4229048927', 'https://openalex.org/W3099113830', 'https://openalex.org/W3017360834', 'https://openalex.org/W2994120531', 'https://openalex.org/W2756692340', 'https://openalex.org/W2152192540', 'https://openalex.org/W2133522624', 'https://openalex.org/W2108326965', 'https://openalex.org/W2086962923', 'https://openalex.org/W190251865'], 'abstract_inverted_index': {'Cyber': [0, 30, 78], 'Physical': [1, 31, 79], 'Systems': [2], 'are': [3], 'in': [4, 45, 52, 56, 63], 'charge': [5], 'of': [6, 9, 77], 'the': [7, 29, 46, 53, 57, 64, 71, 75, 83, 91], 'control': [8, 18], 'physical': [10], 'processes': [11], 'characterized': [12], 'by': [13, 28], 'their': [14], 'own': [15], 'dynamics.': [16], 'This': [17, 66], 'must': [19], 'comply': [20], 'with': [21], 'timing': [22, 39], 'constraints': [23, 58], '-': [24], 'sometimes': [25], 'stringent': [26], 'ones-imposed': [27], 'Systems.': [32, 80], 'It': [33], 'is': [34], 'crucial': [35], 'to': [36, 49, 60, 69, 74], 'address': [37], 'these': [38], 'issues': [40], 'as': [41, 43], 'early': [42], 'possible': [44], 'development': [47], 'process': [48], 'detect': [50], 'inconsistencies': [51], 'requirements': [54], 'or': [55], 'and': [59, 97], 'capture': [61], 'changes': [62], 'system.': [65], 'paper': [67], 'aims': [68], 'apply': [70], 'clock': [72], 'theory': [73], 'specification': [76], 'To': [81], 'illustrate': [82], 'concept': [84], 'we': [85], 'develop': [86], 'three': [87], 'well-known': [88], 'case': [89], 'studies:': [90], 'Steam': [92], 'Boiler': [93], 'Control': [94], 'System,': [95], 'Press': [96], 'Railway': [98], 'Cross': [99], 'System.': [100]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2152192540', 'counts_by_year': [{'year': 2021, 'cited_by_count': 1}, {'year': 2018, 'cited_by_count': 1}], 'updated_date': '2024-12-24T13:34:03.603659', 'created_date': '2016-06-24'}