{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:45Z","timestamp":1742617125589,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540521488"},{"type":"electronic","value":"9783540469056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52148-8_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:22:45Z","timestamp":1330204965000},"page":"247-256","source":"Crossref","is-referenced-by-count":12,"title":["Automated verification of timed transition models"],"prefix":"10.1007","author":[{"given":"J. S.","family":"Ostroff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"2","key":"20_CR1","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite state concurrent systems using temporal logic. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, April 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"20_CR2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"E.A. Emerson and J.Y. Halpern. 'sometimes\u2019 and \u2018not never\u2019 revisited: on branching versus linear time temporal logic. Journal of the Association for Computing Machinery, 33(1):151\u2013178, January 1986.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"E. A. Emerson and C. Lei. Modalities for model checking: branching time strikes back. In Conference Record of the 12th ACM Symposium on Principles of Programming Languages, pages 84\u201396, New Orleans, Louisiana, January 1985.","DOI":"10.1145\/318593.318620"},{"key":"20_CR4","unstructured":"E.A. Emerson, A.K. Mok, A.P. Sistla, and J. Srinisvan. Quantitative temporal reasoning. In E.M. Clarke, A. Pnueli, and J. Sifakis, editors, Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems. Springer-Verlag, Lecture Notes in Computer Science, 1989. (in press)."},{"issue":"9","key":"20_CR5","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A.K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE-12(9):890\u2013904, September 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR6","unstructured":"F. Jahanian and D. Stuart. A method for verifying properties of modechart specifications. In Proceedings 9th Real-time Systems Symposium, pages 12\u201321. IEEE Computer Society, December 1988."},{"issue":"3","key":"20_CR7","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"SE-13","author":"N.G. Leveson","year":"1987","unstructured":"N.G. Leveson and J.L Stolzy. Safety analysis using Petri nets. IEEE Transactions on Software Engineering, SE-13(3):386\u2013397, March 1987.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR8","unstructured":"M. Menasche. PAREDE: An automated tool for the analysis of time(d) Petri nets. In International workshop on timed Petri nets, pages 162\u2013169. IEEE Computer Society, June 1985."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. How to cook a temporal proof system for your pet language. In Proceedings of the Symposium on Principles of Programming Languages, pages 141\u2013154, Austin, Texas, January 1983.","DOI":"10.1145\/567067.567082"},{"key":"20_CR10","unstructured":"Zohar Manna and Amir Pnueli. Proving precedence properties: the temporal way. Technical Report STAN-CS-83-964, Department of Computer Science, Stanford University, April 1983."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The anchored version of the temporal framework. In J.W. de Bakker, W.P. de Roever, and G. Rozenburg, editors, Models of concurrency: linear, branching and partial orders, LNCS. Springer-Verlag, 1989. (in press).","DOI":"10.1007\/BFb0013024"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"P.M. Merlin and A. Segall. Recoverability of communication protocols \u2014 implications of a theoretical study. IEEE Transactions on Communications, pages 1036\u20131043, September 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"issue":"1","key":"20_CR13","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Z. Manna and P. Wolper. Synthesis of communicating processes from temporal logic specifications. ACM Transactions on Programming Languages and Systems, 6(1):68\u201393, January 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff. Real-time temporal logic decision procedures. In Proceedings of 10th IEEE Real-Time Systems Symposium, December 1989. (to appear).","DOI":"10.1109\/REAL.1989.63560"},{"key":"20_CR15","unstructured":"J.S. Ostroff. Temporal Logic for Real-Time Systems. Advanced Software Development Series. Research Studies Press Limited (distributed by John Wiley and Sons), England, 1989."},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff. Verification of finite state real-time distributed processes. In Proceedings of 9th IEEE International Conference on Distributed Computing Systems, pages 207\u2013216, June 1989.","DOI":"10.1109\/ICDCS.1989.37949"},{"key":"20_CR17","unstructured":"J.S. Ostroff and W.M. Wonham. Modelling, specifying and verifying real-time embedded computer systems. In Proceedings of the 8th IEEE Real-Time Systems Symposium, pages 124\u2013132, San Jose, December 1987."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"J.S. Ostroff and W.M. Wonham. State machines, temporal logic and control: a framework for discrete event systems. In Proceedings of the 26th IEEE Conference on Decision and Control, pages 681\u2013686, Los Angeles, December 1987.","DOI":"10.1109\/CDC.1987.272455"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Amir Pnueli. Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In J. de Bakker, W.P de Roever, and G. Rozenburg, editors, Current trends in concurrency, LNCS 244. Springer-Verlag, 1986.","DOI":"10.1007\/BFb0027047"},{"key":"20_CR20","unstructured":"C. Ramchamdani. Analysis of asynchronous concurrent systems by timed Petri nets. Technical Report MAC TR 120, MIT, February 1974."},{"key":"20_CR21","unstructured":"R.R. Razouk and C.V. Phelps. Performance analysis of time Petri nets. In Proceedings of 4th International Workshop on Protocol Verification and Testing, June 1984."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"W.M. Zubrek. Timed Petri nets and preliminary performance evaluation. In Proceedings 7th Annual Symposium on Computer Architecture, La Baule, France, 1980.","DOI":"10.1145\/800053.801913"}],"container-title":["Lecture Notes in Computer Science","Automatic Verification Methods for Finite State Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52148-8_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:58:44Z","timestamp":1742590724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52148-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540521488","9783540469056"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-52148-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}