{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:44:57Z","timestamp":1772163897401,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:00:00Z","timestamp":1131840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,11,13]]},"DOI":"10.1145\/1103846.1103854","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"49-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Temporal skeletons for verifying time"],"prefix":"10.1145","author":[{"given":"Gustaf","family":"Naeser","sequence":"first","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Kristina","family":"Lundqvist","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology"}]},{"given":"Lars","family":"Asplund","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2005,11,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Association of Computing Machinery (ACM) Special Interest Group on Ada (SIGAda) ASIS Home Page. http:\/\/www.acm.org\/sigada\/WG\/asiswg\/  Association of Computing Machinery (ACM) Special Interest Group on Ada (SIGAda) ASIS Home Page. http:\/\/www.acm.org\/sigada\/WG\/asiswg\/"},{"key":"e_1_3_2_1_2_1","volume-title":"4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen , \" A Tutorial on Uppaal \", Formal Methods for the Design of Real-Time Systems : 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems , 2004 . G. Behrmann, A. David, and K. G. Larsen, \"A Tutorial on Uppaal \", Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2004."},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes on Concurrency and Petri Nets","volume-title":"Semantics, Algorithms and Tools","author":"Bengtsson J.","year":"2004","unstructured":"J. Bengtsson , and Wang Yi , \" Timed Automata : Semantics, Algorithms and Tools \", Lecture Notes on Concurrency and Petri Nets , W. Reisig and G. Rozenberg (eds.), LNCS 3098, Springer-Verlag , 2004 . J. Bengtsson, and Wang Yi, \"Timed Automata: Semantics, Algorithms and Tools\", Lecture Notes on Concurrency and Petri Nets, W. Reisig and G. Rozenberg (eds.), LNCS 3098, Springer-Verlag, 2004."},{"key":"e_1_3_2_1_4_1","volume-title":"Reliable Software Technologies - Ada Europe","author":"Burns A.","year":"1998","unstructured":"A. Burns , B. Dobbing , and G. Romanski , \" The Ravenscar Tasking Profile for High Integrity Real-Time Programs \", Reliable Software Technologies - Ada Europe 1998 , LNCS 1411, L. Asplund, ed., Springer-Verlag , 1998. A. Burns, B. Dobbing, and G. Romanski, \"The Ravenscar Tasking Profile for High Integrity Real-Time Programs\", Reliable Software Technologies - Ada Europe 1998, LNCS 1411, L. Asplund, ed., Springer-Verlag, 1998."},{"key":"e_1_3_2_1_6_1","volume-title":"Reliable Software Technologies - Ada-Europe","author":"Burns A.","year":"2003","unstructured":"A. Burns , and T-M. Lin , \" Adding Temporal Annotations and Associated Verification to the Ravenscar Profile\" , Reliable Software Technologies - Ada-Europe 2003 , LNCS 2655, J-P. Rosen and A. Strohmeier, eds., Springer-Verlag , 2003. A. Burns, and T-M. Lin, \"Adding Temporal Annotations and Associated Verification to the Ravenscar Profile\", Reliable Software Technologies - Ada-Europe 2003, LNCS 2655, J-P. Rosen and A. Strohmeier, eds., Springer-Verlag, 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.310666"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/319294.319306"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.538604"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1253530.1254493"},{"key":"e_1_3_2_1_11_1","volume-title":"International Conference on Requirements Engineering","author":"Dulac N.","year":"2002","unstructured":"N. Dulac , T. Viguier , N. Leveson , and M-A. Storey , \" On the Use of Visualization in Formal Requirements Specification\" , International Conference on Requirements Engineering , 2002 . N. Dulac, T. Viguier, N. Leveson, and M-A. Storey, \"On the Use of Visualization in Formal Requirements Specification\", International Conference on Requirements Engineering, 2002."},{"key":"e_1_3_2_1_12_1","volume-title":"Reliable Software Technologies - Ada-Europe","author":"Evangelista S.","year":"2003","unstructured":"S. Evangelista , C. Kaiser , J-F. Pradat-Peyre , and P. Rousseau , \" Quasar: A New Tool for Concurrent Ada Programs Analysis \", Reliable Software Technologies - Ada-Europe 2003 , LNCS 2655, J-P. Rosen and A. Strohmeier, eds., Springer-Verlag , 2003. S. Evangelista, C. Kaiser, J-F. Pradat-Peyre, and P. Rousseau, \"Quasar: A New Tool for Concurrent Ada Programs Analysis\", Reliable Software Technologies - Ada-Europe 2003, LNCS 2655, J-P. Rosen and A. Strohmeier, eds., Springer-Verlag, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/958420.958424"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/876906.881540"},{"key":"e_1_3_2_1_15_1","volume-title":"IEE Colloquium on Requirements Capture and Specification for Critical Systems","author":"Hoverd T.","year":"1989","unstructured":"T. Hoverd , \" Are Formal Methods The Answer?\" , IEE Colloquium on Requirements Capture and Specification for Critical Systems , 1989 . T. Hoverd, \"Are Formal Methods The Answer?\", IEE Colloquium on Requirements Capture and Specification for Critical Systems, 1989."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/959222.959238"},{"key":"e_1_3_2_1_17_1","volume-title":"The Twenty-First Annual International Computer Software and Applications Conference, IEEE","author":"Jia X.","year":"1997","unstructured":"X. Jia , \" A Pragmatic Approach to Formalizing Object-Oriented Modelling and Development\" , The Twenty-First Annual International Computer Software and Applications Conference, IEEE , 1997 . X. Jia, \"A Pragmatic Approach to Formalizing Object-Oriented Modelling and Development\", The Twenty-First Annual International Computer Software and Applications Conference, IEEE, 1997."},{"key":"e_1_3_2_1_18_1","volume-title":"International Journal on Software Tools for Technology Transfer","author":"Larsen K.","year":"1997","unstructured":"K. Larsen , P. Pettersson , and W. Yi , \" Uppaal in a Nutshell \", International Journal on Software Tools for Technology Transfer , Springer-Verlag , 1997 . K. Larsen, P. Pettersson, and W. Yi, \"Uppaal in a Nutshell\", International Journal on Software Tools for Technology Transfer, Springer-Verlag, 1997."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of 2nd IEEE Workshop on High-Assurance Systems Engineering Workshop, IEEE","author":"Lee I.","year":"1997","unstructured":"I. Lee , and O. Sokolsky , \" A Graphical Property Specification Language \", Proceedings of 2nd IEEE Workshop on High-Assurance Systems Engineering Workshop, IEEE , 1997 . I. Lee, and O. Sokolsky, \"A Graphical Property Specification Language\", Proceedings of 2nd IEEE Workshop on High-Assurance Systems Engineering Workshop, IEEE, 1997."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021701221847"},{"key":"e_1_3_2_1_21_1","volume-title":"Formal Verification of PLC-Programs Generated From Signal Interpreted Petri Nets","author":"Mertke T.","year":"2001","unstructured":"T. Mertke , and G. Frey , \" Formal Verification of PLC-Programs Generated From Signal Interpreted Petri Nets \", 2001 IEEE Systems, Man , and Cybernetics Conference , 2001. T. Mertke, and G. Frey, \"Formal Verification of PLC-Programs Generated From Signal Interpreted Petri Nets\", 2001 IEEE Systems, Man, and Cybernetics Conference, 2001."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 16th International Conference on Computer Aided Verification, LNCS 3114","author":"Metzner A.","year":"2004","unstructured":"A. Metzner , \" Why Model Checking Can Improve WCET Analysis\" , Proceedings of the 16th International Conference on Computer Aided Verification, LNCS 3114 , Springer-Verlag , 2004 . A. Metzner, \"Why Model Checking Can Improve WCET Analysis\", Proceedings of the 16th International Conference on Computer Aided Verification, LNCS 3114, Springer-Verlag, 2004."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.11"},{"key":"e_1_3_2_1_24_1","volume-title":"5th NASA Langley Formal Methods Workshop","author":"Naydich D.","year":"2000","unstructured":"D. Naydich , and D. Guaspari , \" Timing analysis by model checking \", 5th NASA Langley Formal Methods Workshop , 2000 . D. Naydich, and D. Guaspari, \"Timing analysis by model checking\", 5th NASA Langley Formal Methods Workshop, 2000."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1049\/ic:19950706"},{"key":"e_1_3_2_1_26_1","volume-title":"ICALP 2000 Workshop on Graph Transformation and Visual Modeling Techniques","author":"Pezz\u00e9 M.","year":"2000","unstructured":"M. Pezz\u00e9 , and L. Baresi , \" Can Graph Grammars Make Formal Methods More Human? \", ICALP 2000 Workshop on Graph Transformation and Visual Modeling Techniques , 2000 . M. Pezz\u00e9, and L. Baresi, \"Can Graph Grammars Make Formal Methods More Human?\", ICALP 2000 Workshop on Graph Transformation and Visual Modeling Techniques, 2000."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2003.1245822"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/353926.353938"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 19th Digital Avionics Systems Conferences","author":"Zimmerman M.","year":"2000","unstructured":"M. Zimmerman , M. Rodriguez , B. Ingram , M. Katahira , M. de Villepin and N. Leveson, \"Making Formal Methods Practical \", Proceedings of the 19th Digital Avionics Systems Conferences , 2000 . M. Zimmerman, M. Rodriguez, B. Ingram, M. Katahira, M. de Villepin and N. Leveson, \"Making Formal Methods Practical\", Proceedings of the 19th Digital Avionics Systems Conferences, 2000."}],"event":{"name":"SIGAda '05: ACM SIGAda Annual International Conference","location":"Atlanta GA USA","acronym":"SIGAda '05","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103854","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1103846.1103854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:48:54Z","timestamp":1750272534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103854"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,13]]},"references-count":28,"alternative-id":["10.1145\/1103846.1103854","10.1145\/1103846"],"URL":"https:\/\/doi.org\/10.1145\/1103846.1103854","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1104011.1103854","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,11,13]]},"assertion":[{"value":"2005-11-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}