{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:05:47Z","timestamp":1730210747456,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207703","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T14:34:28Z","timestamp":1079966068000},"page":"92-101","source":"Crossref","is-referenced-by-count":2,"title":["Developing a formal specification for the mission system of a maritime surveillance aircraft"],"prefix":"10.1109","author":[{"given":"L.","family":"Petrucci","sequence":"first","affiliation":[]},{"given":"J.","family":"Billington","sequence":"additional","affiliation":[]},{"given":"L.M.","family":"Kristensen","sequence":"additional","affiliation":[]},{"given":"Z.H.","family":"Qureshi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Generic Avionics Software Specification","author":"locke","year":"1990","journal-title":"Carnegie- Mellon University Software Engineering Institute Tech Rep CMU\/SEI- 90-TR-21"},{"journal-title":"Digital Time Division Command\/Control Multiplex Data Bus","year":"1993","key":"ref11"},{"key":"ref12","first-page":"95","article-title":"Towards Formal Specification and Analysis of Avionics Mission Systems","author":"petrucci","year":"2002","journal-title":"Proceedings of Workshop on Formal Methods Applied to Defence Systems volume 12 of Conferences in Research and Practice in Information Technology"},{"key":"ref13","first-page":"12","article-title":"Modelling Military Airborne Mission Systems for Functional Analysis","author":"qureshi","year":"2001","journal-title":"Proceedings IEEE\/AIAA 10th Digital Avionics Systems Conference"},{"journal-title":"RLM Systems","year":"0","key":"ref14"},{"year":"0","author":"science","key":"ref15"},{"article-title":"Digital Avionics Systems - Principles and Practices","year":"1992","author":"spitzer","key":"ref16"},{"key":"ref17","first-page":"2146","article-title":"Modelling and Schedulability of Real-Time Tasks with Timed Automata","volume":"4","author":"sun","year":"2001","journal-title":"Proceedings of International Conference on Parallel and Distributed Processing Techniques and Application"},{"year":"0","author":"centre","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_13"},{"key":"ref6","first-page":"280","article-title":"Scheduling a Steel Plant with Timed Automata","author":"fehnker","year":"1999","journal-title":"Proceedings of 6th International Conference on Real-Time Computing Systems and Applications (RTCSA)"},{"journal-title":"DesignlCPN Online","year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050021"},{"key":"ref7","article-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","volume":"1 2 and 3","author":"jensen","year":"1997","journal-title":"Monographs in Theoretical Computer Science"},{"key":"ref2","first-page":"460","article-title":"Times - A Tool for Modelling and Implementation of Embedded Systems","author":"amnell","year":"2002","journal-title":"Proc 8th Int Conf Tools and Algorithms for the Construction and Analysis of Systems (TACAS '2002) Grenoble France Apr 2002"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"article-title":"Real-Time Systems","year":"2000","author":"liu","key":"ref9"}],"event":{"name":"International Conference on Application of Concurrency to System Design (ACSD'2003)","acronym":"CSD-03","location":"Guimaraes, Portugal"},"container-title":["Third International Conference on Application of Concurrency to System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8583\/27182\/01207703.pdf?arnumber=1207703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:06:41Z","timestamp":1489428401000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207703\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207703","relation":{},"subject":[]}}