{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:10:04Z","timestamp":1746072604776,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":78,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642880513"},{"type":"electronic","value":"9783642880490"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-642-88049-0_10","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T16:35:39Z","timestamp":1386606939000},"page":"187-211","source":"Crossref","is-referenced-by-count":0,"title":["Formal Specification and Timing Analysis of High-Integrity Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Miguel","family":"Felder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Springer Verlag","author":"M Abadi","year":"1992","unstructured":"M. Abadi, L. Lamport, An Old-Fashioned Recipe for Real-Time, Real Time: Theory in Practice, LNCS 600, Springer Verlag, 1992."},{"key":"10_CR2","unstructured":"R. Alur, C. Coucorbertis, D. Dill, Model-Checking for Real-Time systems, Proceedings of the 5th IEEE lics 90, 1990."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"R. Mur, T. Henzinger, A Really Temporal Logic, Proceedings of the 30th Annual Symposium on Foundations of Computer Science, IEEE Computer Science Press, 1989, 164\u2013169.","DOI":"10.1109\/SFCS.1989.63473"},{"key":"10_CR4","volume-title":"Springer Verlag","author":"R Alur","year":"1992","unstructured":"R. Alur, T. Henzinger, Logics and Models of Real Time: A Survey, Real-Time: Theory in Practice, LNCS 600, Springer Verlag, 1992."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"H. Attiya, N. Lynch, Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty,MIT, Report MIT\/LCS\/TM-403, July 1989, appeared in RTSS\u201989.","DOI":"10.21236\/ADA213791"},{"key":"10_CR6","volume-title":"ASLAN: User\u2019s Manual, TRCs84-10, Department of Computer Science","author":"B Auernheimer","year":"1985","unstructured":"B. Auernheimer, R.A. Kemmerer, ASLAN: User\u2019s Manual, TRCs84\u201310, Department of Computer Science, University of California, Santa Barbara, March 1985."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Auernheimer B., Kemmerer R.A., RT-ASLAN: A Specification Language for Real-Time Systems, IEEE Transactions on Software Engineering, Vol. SE-12, No. 9, September 1986.","DOI":"10.1109\/TSE.1986.6313044"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"H.E. Bal, J.G. Steiner, A.S. Tanenbaum, Programming Languages for Distributed Computing Systems, ACM Computing Surveys, Vol. 21, No. 3, September 1989.","DOI":"10.1145\/72551.72552"},{"key":"10_CR9","unstructured":"G. Berry, P. Couronn\u00e9, G. Gonthier, Synchronous Programming of Reactive Systems, an Introduction to ESTEREL, INRIA Report No. 647, 1987."},{"key":"10_CR10","volume-title":"An Enumerative Approach for Analyzing Time Petri Nets","author":"B Berthomieu","year":"1983","unstructured":"B. Berthomieu, M. Menasche, An Enumerative Approach for Analyzing Time Petri Nets, Proceedings of IFIP Congress, September 1983."},{"key":"10_CR11","first-page":"259","volume":"3","author":"B Berthomieu","year":"1991","unstructured":"B. Berthomieu, M. Diaz, Modeling and Verification of Time Dependent systems Using Time Petri Nets, IEEE Transactions on Software Engineering, Vol. SE-17, No. 3, March 1991, 259\u2013273.","journal-title":"M. Diaz, Modeling and Verification of Time Dependent systems Using Time Petri Nets, IEEE Transactions on Software Engineering, Vol. SE-17"},{"key":"10_CR12","volume-title":"Munich","author":"P","year":"1987","unstructured":"P. Caspi, et al., LUSTRE: A Declarative Language for Programming Synchronous Systems, Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, Munich, 1987."},{"key":"10_CR13","volume-title":"Addison-Wesley","author":"KM Chandi","year":"1988","unstructured":"K.M. Chandi, J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988."},{"key":"10_CR14","unstructured":"C. Chang, H. Huang, C. Song, An Approach to Verifying Concurrency Behavior of Real-Time Systems Based on Time Petri Net and Temporal Logic, Proceedings of InfoJapan 90, 1990."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"C. Clarke, E. Emerson, S. Sistla, Automatic Verification of Finite-State Concurrent systems Using Temporal Logic Specifications, ACM-TOPLAS, Vol. 8, No. 2, April 1986.","DOI":"10.1145\/5397.5399"},{"key":"10_CR16","volume-title":"IEEE Transactions on Software Engineering","author":"C Coolahan","year":"1983","unstructured":"C. Coolahan, N. Roussopoulos, Timing Requirements for Time Driven Systems Using Augmented Petri Nets, IEEE Transactions on Software Engineering, September 1983."},{"key":"10_CR17","first-page":"191","volume":"3","author":"E Corsetti","year":"1991","unstructured":"E. Corsetti, A. Montanan, E. Ratto, Dealing with Difference Time Granulari-ties in Formal Specifications of Real Time Systems, The Journal of Real-Time Systems, Vol. 3, 1991, 191\u2013215.","journal-title":"E. Ratto, Dealing with Difference Time Granulari-ties in Formal Specifications of Real Time Systems, The Journal of Real-Time Systems"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"B. Dasarathy, Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods for Validating Them, IEEE Transactions on Software Engineering, Vol. SE-11, No. 1, January 1985.","DOI":"10.1109\/TSE.1985.231845"},{"key":"10_CR19","volume-title":"Sydney","author":"D Daniels","year":"1990","unstructured":"D. Daniels, T. Dillon, The Notion of Time in Distributed Systems, Proceedings of the 5th Australian Software Engineering Conference, IREE, Sydney, 1990."},{"issue":"3","key":"10_CR20","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/44501.44502","volume":"10","author":"LK Dillon","year":"1988","unstructured":"L.K. Dillon, G.S. Avrunin, J.C. Wileden, Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems, ACM Transactions on Programming Languages and Systems, Vol. 10, No. 3, July 1988, 374\u2013402.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"S.R. Faulk, D.L. Parnas, On Synchronization in Hard Real-Time Systems, Communications of the ACM, Vol. 31, No. 3, March 1988.","DOI":"10.1145\/42392.42397"},{"key":"10_CR22","volume-title":"Proceedings IC3E","author":"M Felder","year":"1992","unstructured":"M. Felder, A. Morzenti, Specification Testing for Real-Time Systems by History Checking in TRIO, Proceedings IC3E 14, Melbourne, Australia, May 1992."},{"key":"10_CR23","unstructured":"M. Felder, D. Mandrioli, A. Morzenti, Proving Properties of Real-Time Systems Through Logical Specifications and Petri Nets Models, Dip. di Elettronica-Politecnico di Milano, Report 91\u2013072, December 1991."},{"issue":"5","key":"10_CR24","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/103167.103173","volume":"34","author":"A Gabrielian","year":"1991","unstructured":"A. Gabrielian, M. Franklin, Multilevel Specification of Real-Time Systems, Communications of the ACM,Vol. 34, No. 5, May 1991, 51\u201360.","journal-title":"Communications of the ACM"},{"key":"10_CR25","unstructured":"C. Ghezzi, R.A. Kemmerer, ASTRAL: An Assertion Language for Specifying Real-Time Systems, Report No. mcs 90\u201325, Department of Computer Science, University of California,Santa Barbara, California, November 1990."},{"key":"10_CR26","volume-title":"Italy","author":"C Ghezzi","year":"1991","unstructured":"C. Ghezzi, R.A. Kemmerer, ASTRAL: An Assertion Language for Specifying Real-Time Systems, Proceedings of the Third European Software Engineering Conference, Milano, Italy, October 1991."},{"key":"10_CR27","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezz\u00e9, A General Way to Put Time in Petri Nets, Proceedings of the 4th International Workshop on Software Design and Specifications,Monterey, California, April 3\u20134, 1987."},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezz\u00e9, A Unified High-Level Petri Net Formalism for Time-Critical Systems, IEEE Transactions on Software Engineering, Vol. SE-17, No. 2, February 1991.","DOI":"10.1109\/32.67597"},{"key":"10_CR29","volume-title":"TRIO: A Logic Language for Executable Specifications of Real-Time Systems","author":"C Ghezzi","year":"1990","unstructured":"C. Ghezzi, D. Mandrioli, A. Morzenti, TRIO: A Logic Language for Executable Specifications of Real-Time Systems, Journal of Systems and Software, June 1990."},{"key":"10_CR30","volume-title":"Symbolic Execution of Concurrent Programs Using Petri Nets","author":"C Ghezzi","year":"1989","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezz\u00e9, Symbolic Execution of Concurrent Programs Using Petri Nets, Computer Languages, April 1989."},{"key":"10_CR31","unstructured":"C. Ghezzi, S. Morasca, M. Pezz\u00e9, Timing Analysis of Time Basic Nets,submitted for publication."},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"H. Gomaa, Software Development of Real-Time Systems, Communications of the ACM, Vol. 29, No. 7, July 1986.","DOI":"10.1145\/6138.6150"},{"issue":"3","key":"10_CR33","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D","year":"1987","unstructured":"D. Harel, Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming, Vol. 8, No. 3, June 1987, 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"10_CR34","first-page":"396","volume":"1115","author":"D","year":"1988","unstructured":"D. Harel et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, Proceedings 10th International Conference on Software Engineering, Singapore, April 11\u201315, 1988, 396\u2013406.","journal-title":"April"},{"key":"10_CR35","volume-title":"Dorset House","author":"DJ Hatley","year":"1988","unstructured":"D.J. Hatley, I.A. Pirbai, Strategies for Real-Time System Specification, Dorset House, 1988."},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, A. Pnueli, Temporal Proof Methodologies for Real Time systems, Proceedings of the 18th ACM Symposium on Principles of Programming Languages, 1991, 353\u2013366.","DOI":"10.1145\/99583.99629"},{"key":"10_CR37","doi-asserted-by":"crossref","DOI":"10.21236\/ADA325549","volume-title":"Sooner is Safer than Later","author":"T Henzinger","year":"1991","unstructured":"T. Henzinger, Sooner is Safer than Later, Department of Computer Science, Stanford University, 1991."},{"key":"10_CR38","volume-title":"Timed Transitions Systems, REx91, Presented also in School on Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"T Henzinger","year":"1992","unstructured":"T. Henzinger, Z. Manna, A. Pnueli, Timed Transitions Systems, REx\u201991, Presented also in School on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen, Netherlands, January 1992."},{"key":"10_CR39","volume-title":"A Generalized Timed Petri Net Model for Performance Analysis","author":"M Holliday","year":"1987","unstructured":"M. Holliday, M. Vernon, A Generalized Timed Petri Net Model for Performance Analysis, IEEE Transactions on Software Engineering, December, 1987."},{"key":"10_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54947-1","volume-title":"Specification and Compositional Verification of Real-Time Systems","author":"J Hooman","year":"1991","unstructured":"J. Hooman, Specification and Compositional Verification of Real-Time Systems, Ph.D. thesis, Eindhoven University, 1991."},{"key":"10_CR41","doi-asserted-by":"crossref","unstructured":"M.S. Jaffe, N.G. Leveson, Comleteness, Robustness, and Safety in Real-Time Software Requirements Specification, Proceedings 11th International Conferenceon Software Engineering, Pittsburgh, Pennsylvania, May 15\u201318, 1989.","DOI":"10.1145\/74587.74628"},{"key":"10_CR42","doi-asserted-by":"crossref","unstructured":"F. Jahanian, A.K. Mok, Safety Analysis of Timing Properties of Real-Time Systems, IEEE Transactions on Software Engineering, Vol. SE-12, No. 9, September 1986.","DOI":"10.1109\/TSE.1986.6313045"},{"key":"10_CR43","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/TC.1987.5009519","volume":"8","author":"F Jahanian","year":"1987","unstructured":"F. Jahanian, A.K. Mok, A Graph-Theoretic Approach for Timing Analysis and Its Implementation, IEEE Transactions on Computers, Vol. C-36, No. 8, August 1987, 961\u2013975.","journal-title":"IEEE Transactions on Computers, Vol. C-36"},{"key":"10_CR44","unstructured":"The Journal of Real-Time Systems, Special issue on the Esprit IPTES project, to appear."},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"R.A. Kemmerer, Testing Software Specifications to Detect Design Errors, IEEE Transactions on Software Engineering, Vol. SE-11, No. 1, January 1985.","DOI":"10.1109\/TSE.1985.231535"},{"key":"10_CR46","volume-title":"Timed and Hybrid Statecharts and Their Textual Representation, School on Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"Y Kesten","year":"1992","unstructured":"Y. Kesten, A. Pnueli, Timed and Hybrid Statecharts and Their Textual Representation, School on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen, Netherlands, January 1992."},{"key":"10_CR47","volume-title":"North Holland","author":"R Koymans","year":"1987","unstructured":"R. Koymans, R. Kuiper, E. Zijlstra, Specifying Message Passing and Real-Time Systems with Real-Time Temporal Logic, ESPRIT\u201987 Achievement and Impact, North Holland, 1987."},{"key":"10_CR48","volume-title":"Specifying Message Passing and Time-Critical Systems with Temporal Logic, Ph.D","author":"R Koymans","year":"1989","unstructured":"R. Koymans, Specifying Message Passing and Time-Critical Systems with Temporal Logic, Ph.D. Thesis, Eindhoven University of Technology, 1989."},{"key":"10_CR49","volume-title":"Examples of a Realtime Temporal Logic Specification, LNCS","author":"R Koymans","year":"1985","unstructured":"R. Koymans, W.P. de Roever, Examples of a Realtime Temporal Logic Specification, LNCS 207, Springer Verlag, Berlin, 1985."},{"key":"10_CR50","volume-title":"Springer Verlag","author":"F","year":"1987","unstructured":"F. Kroger, Temporal Logic of Programs, EATCS Monographs on Theoretical Computer Science, Springer Verlag, 1987."},{"key":"10_CR51","first-page":"386","volume":"3","author":"NG Leveson","year":"1987","unstructured":"N.G. Leveson, J. Stolzy, Safety Analysis Using Petri Nets, IEEE Transactions on Software Engineering, Vol. SE-13, No. 3, March 1987, 386\u2013397.","journal-title":"J. Stolzy, Safety Analysis Using Petri Nets, IEEE Transactions on Software Engineering, Vol. SE-13"},{"key":"10_CR52","doi-asserted-by":"crossref","unstructured":"N. Lynch, H. Attiya, Using Mappings to Prove Timing Properties,MIT Report MIT\/LCS-TM412.b, December 1989, appeared in Pooc\u201989.","DOI":"10.21236\/ADA213967"},{"key":"10_CR53","volume-title":"coM-24","author":"PM Merlin","year":"1976","unstructured":"P.M. Merlin, D.J. Farber, Recoverability of Communication Protocols: Implications of a Theoretical Study, IEEE Transactions on Communications, Vol. coM-24, September 1976."},{"key":"10_CR54","doi-asserted-by":"crossref","unstructured":"R. Milner, Calculi for Synchroni and Asynchroni, Theoretical Computer Science, Vol. 25, 1983.","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"10_CR55","unstructured":"A. Morzenti, D. Mandrioli, C. Ghezzi, A Model Parametric Real-Time Logic,Politecnico di Milano, Dipartimento di Elettronica, Report 90.010, 1990, to appear in SCM Transactions on Programming Languages and Systems."},{"key":"10_CR56","volume-title":"The Specification of Real-Time Systems: Proposal of a Logic Formalism, Ph.D","author":"A Morzenti","year":"1989","unstructured":"A. Morzenti, The Specification of Real-Time Systems: Proposal of a Logic Formalism, Ph.D. Thesis, Dipartimento di Elettronica,Politecnico di Milano, 1989."},{"key":"10_CR57","unstructured":"A. Morzenti, P. SanPietro, An Object Oriented Logic Language for Modular System Specification, ECOOP\u201991, LNCS 512, Springer Verlag, July 1991."},{"key":"10_CR58","volume-title":"Temporal Logic For Real-Time Systems, Research Studies Press LTD., Advanced Software Development Series, Taunton","author":"J Ostrof","year":"1989","unstructured":"J. Ostrof, Temporal Logic For Real-Time Systems, Research Studies Press LTD., Advanced Software Development Series, Taunton, Somerset, England, 1989."},{"key":"10_CR59","doi-asserted-by":"crossref","unstructured":"A. Mauch, The Temporal Semantics of Computer Programs, Theoretical Computer Science, Vol. 13, 1981.","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"10_CR60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-70224-2","volume-title":"Verification and Validation of Real-Time Software","author":"WJ Quirk","year":"1985","unstructured":"W.J. Quirk, Verification and Validation of Real-Time Software, Springer Verlag, Berlin, 1985."},{"key":"10_CR61","volume-title":"IEEE Transactions on Software Engineering","author":"C Ramamoorthy","year":"1980","unstructured":"C. Ramamoorthy, G. Ho, Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets, IEEE Transactions on Software Engineering, September 1980."},{"key":"10_CR62","volume-title":"February","author":"C","year":"1974","unstructured":"C. Ramchandani, Analysis of Asynchronous Concurrent Systems Using Petri Nets, MIT, February, 1974."},{"key":"10_CR63","volume-title":"Springer Verlag","author":"W","year":"1985","unstructured":"W. Reisig, Petri Nets: An Introduction, Springer Verlag, 1985."},{"key":"10_CR64","unstructured":"X. Nicollin, J. Sifaki, S. Yovine, Compiling Real-Time Specifications into Extended Automata,Transactions on Software Engineering, Special Issue on Real Time Systems, to appear."},{"key":"10_CR65","volume-title":"ATP: An Algebra for Timed Processes, Proceedings IFIP Working Conference on Formal Description of Programming Concepts, North-Hooland","author":"X Nicollin","year":"1990","unstructured":"X. Nicollin, J. Richier, J. Sifakis, J. Voiron, ATP: An Algebra for Timed Processes, Proceedings IFIP Working Conference on Formal Description of Programming Concepts, North-Hooland, Tiberias, Israel, 1990."},{"key":"10_CR66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First Order Logic","author":"RM Smullyan","year":"1968","unstructured":"R.M. Smullyan, First Order Logic, Springer Verlag, Berlin, 1968."},{"key":"10_CR67","first-page":"7","volume":"5","author":"IEEE Software","year":"1990","unstructured":"IEEE Software, Special Issue on Formal Methods, Vol. 7, No. 5, September 1990.","journal-title":"Special Issue on Formal Methods, Vol"},{"key":"10_CR68","doi-asserted-by":"crossref","unstructured":"J.A. Stankovic, Misconceptions About Real-Time Computing: A Serious Problem for Next-Generation Systems, IEEE Computer, Vol. 21, No. 10, October 1988.","DOI":"10.1109\/2.7053"},{"key":"10_CR69","volume-title":"Hierarchical Modeling of Software Systems with Timed Petri Nets, Proceedings of the 1st International Workshop on Timed Petri Nets","author":"P Stotts","year":"1985","unstructured":"P. Stotts, T. Pratt, Hierarchical Modeling of Software Systems with Timed Petri Nets, Proceedings of the 1st International Workshop on Timed Petri Nets, Torino, Italy, July 1985."},{"key":"10_CR70","doi-asserted-by":"crossref","unstructured":"I. Suzuki, Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets, IEEE Transactions on Software Engineering, Vol. SE-16, No. 11, November 1990.","DOI":"10.1109\/32.60315"},{"key":"10_CR71","unstructured":"IEEE Transactions on Software Engineering, Special Issue on Formal Methods in Software Engineering, Vol. SE-16, No. 9, September 1990."},{"key":"10_CR72","doi-asserted-by":"crossref","unstructured":"Y. Wang, Real-Time Behaviour of Asynchronous Agents, LNCS 458, Springer Verlag, 1990, 502\u2013520.","DOI":"10.1007\/BFb0039080"},{"key":"10_CR73","volume-title":"Formal Specification of Asynchronous Distributed Real-Time systems by APTL, Proceedings ICSE","author":"F Wang","year":"1992","unstructured":"F. Wang, A. Mok, E. Emerson, Formal Specification of Asynchronous Distributed Real-Time systems by APTL, Proceedings ICSE 14, Melbourne, Australia, May 1992."},{"issue":"9","key":"10_CR74","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/2.58215","volume":"23","author":"J.M","year":"1990","unstructured":"J.M. Wing, A Specifier\u2019s Introduction to Formal Methods, IEEE Computer, Vol. 23, No. 9, September 1990, 8\u201324.","journal-title":"IEEE Computer"},{"key":"10_CR75","doi-asserted-by":"crossref","unstructured":"J.M. Wing, M.R. Nixon, Extending Ina Jo with Temporal Logic, IEEE Transactions on Software Engineering, Vol. SE-15, No. 2, February 1989.","DOI":"10.1109\/32.21744"},{"key":"10_CR76","unstructured":"P. Zave, PAISLey User Documentation Volume 3: Case Studies, Computer Technology Research Laboratory Report, AT and T Bell Laboratories, Murray Hill, New Jersey, 1987."},{"key":"10_CR77","volume-title":"Proceedings of the 7th Annual Symposium on Computer Architecture","author":"W","year":"1980","unstructured":"W. Zuberek, Timed Petri Nets and Performance Evaluation, Proceedings of the 7th Annual Symposium on Computer Architecture, May 1980."},{"key":"10_CR78","volume-title":"Compositionality, Concurrency, and Partial Correctness, LNCS","author":"J Zwiers","year":"1989","unstructured":"J. Zwiers, Compositionality, Concurrency, and Partial Correctness, LNCS 321, Springer Verlag, Berlin, 1989."}],"container-title":["NATO ASI Series","Real Time Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-88049-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T03:45:46Z","timestamp":1746071146000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-88049-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783642880513","9783642880490"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-88049-0_10","relation":{},"ISSN":["0258-1248"],"issn-type":[{"type":"print","value":"0258-1248"}],"subject":[],"published":{"date-parts":[[1994]]}}}