{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:12:52Z","timestamp":1725484372961},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441656"},{"type":"electronic","value":"9783540457398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45739-9_25","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T22:42:01Z","timestamp":1179268921000},"page":"433-453","source":"Crossref","is-referenced-by-count":2,"title":["Constructing Test Automata from Graphical Real-Time Requirements"],"prefix":"10.1007","author":[{"given":"Henning","family":"Dierks","sequence":"first","affiliation":[]},{"given":"Marc","family":"Lettrari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"key":"25_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BFb0054177","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Aceto","year":"1998","unstructured":"L. Aceto, A. Burgue\u00f1o, and K. Larsen. Model Checking via Reachability Testing for Timed Automata. In Steffen [Ste98], pages 263\u2013280."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-Checking for Real-Time Systems. In Fifth Annual IEEE Symp. on Logic in Computer Science, pages 414\u2013425. IEEE Press, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"25_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"ICALP 90: Automata, Languages, and Programming","author":"R. Alur","year":"1990","unstructured":"R. Alur and D.L. Dill. Automata for modeling real-time systems. In M.S. Paterson, editor, ICALP 90: Automata, Languages, and Programming, volume 443 of LNCS, pages 322\u2013335. Springer, 1990."},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. TCS, 126:183\u2013235, 1994.","journal-title":"TCS"},{"key":"25_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-63533-5_2","volume-title":"FME\u201997","author":"H. Dierks","year":"1997","unstructured":"H. Dierks and C. Dietz. Graphical Specification and Reasoning: Case Study \u201cGeneralized Railroad Crossing\u201d. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME\u201997, volume 1313 of LNCS, pages 20\u201339, Graz, Austria, September 1997. Springer."},{"key":"25_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BFb0055334","volume-title":"FTRTFT\u201998","author":"H. Dierks","year":"1998","unstructured":"H. Dierks, A. Fehnker, A. Mader, and F.W. Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. In A.P. Ravn and H. Rischel, editors, FTRTFT\u201998, volume 1486 of LNCS, pages 29\u201340, Lyngby, Denmark, September 1998. Springer. short version of [DFMV98b]."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"H. Dierks, A. Fehnker, A. Mader, and F.W. Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. Technical Report CSIR9813, Computer Science Institute Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, April 1998. full paper of [DFMV98a].","DOI":"10.1007\/BFb0055334"},{"key":"25_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-61648-9_51","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"C. Dietz","year":"1996","unstructured":"C. Dietz. Graphical Formalization of Real-Time Requirements. In B. Jonsson and J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1135 of LNCS, pages 366\u2013385, Uppsala, Sweden, September 1996. Springer."},{"key":"25_CR9","unstructured":"H. Dierks. Specification and Verification of Polling Real-Time Systems. PhD thesis, University of Oldenburg, July 1999."},{"key":"25_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-63010-4_11","volume-title":"ARTS\u201997","author":"K. Feyerabend","year":"1997","unstructured":"K. Feyerabend and B. Josko. A Visual Formalism for Real-Time Requirements Specifications. In M. Bertran and T. Rus, editors, ARTS\u201997, volume 1231 of LNCS, pages 156\u2013168, Mallorca, Spain, May 1997. Springer."},{"key":"25_CR11","unstructured":"C. Heitmeyer and N. Lynch. The Generalized Railroad Crossing. In IEEE Real-Time Systems Symposium, 1994."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST\u201993, Workshops in Computing. Springer, June 1993.","DOI":"10.1007\/978-1-4471-3227-1_8"},{"key":"25_CR13","unstructured":"C. Heitmeyer and D. Mandrioli, editors. Formal Methods for Real-Time Computing, volume 5 of Trends in Software. Wiley, 1996."},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. Information and Computation, 111:193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"M.R. Hansen","year":"1997","unstructured":"M.R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. Formal Aspects of Computing, 9:283\u2013330, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"25_CR16","unstructured":"C. Kleuker. Constraint Diagrams. PhD thesis, University of Oldenburg, December 2000."},{"key":"25_CR17","volume-title":"Master\u2019s thesis","author":"M. Lettrari","year":"2000","unstructured":"M. Lettrari. Eine Testautomatensemantik f\u00fcr Constraint Diagrams und ihre Anwendung. Master\u2019s thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, April 2000."},{"issue":"1+2","key":"25_CR18","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"K.G. Larsen, P. Petterson, and Wang Yi. Uppaal in a nutshell. Software Tools for Technology Transfer, 1(1+2):134\u2013152, December 1997.","journal-title":"Software Tools for Technology Transfer"},{"key":"25_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/BFb0054178","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Lindahl","year":"1998","unstructured":"M. Lindahl, P. Pettersson, and Wang Yi. Formal Design and Analysis of a Gear Controller. In Steffen [Ste98], pages 281\u2013297."},{"issue":"2","key":"25_CR20","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"B. Moszkowski. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer, 18(2):10\u201319, 1985.","journal-title":"IEEE Computer"},{"key":"25_CR21","unstructured":"A.P. Ravn. Design of Embedded Real-Time Computing Systems. Technical Report 1995-170, Technical University of Denmark, 1995."},{"key":"25_CR22","series-title":"PhD thesis","volume-title":"Symbolic Timing Diagrams: A Visual Formalism for Model Verification","author":"R. Schl\u00f6r","year":"2001","unstructured":"R. Schl\u00f6r. Symbolic Timing Diagrams: A Visual Formalism for Model Verification. PhD thesis, University of Oldenburg, Department of Computer Science, Oldenburg, Germany, 2001."},{"key":"25_CR23","series-title":"Lect Notes Comput Sci","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","year":"1998","unstructured":"B. Steffen, editor. Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of LNCS. Springer, 1998."},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"S. Yovine. Kronos: a verification tool for real-time systems. Software Tools for Technology Transfer, 1(1+2):123\u2013133, December 1997.","DOI":"10.1007\/s100090050009"},{"key":"25_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/BFb0039713","volume-title":"Formal Methods in Programming and Their Application","author":"Z. Chaochen","year":"1993","unstructured":"Zhou Chaochen. Duration Calculi: An overview. In D. Bj\u00f8rner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Application, volume 735 of LNCS, pages 256\u2013266. Springer, 1993."},{"key":"25_CR26","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40\/5","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. IPL, 40\/5:269\u2013276, 1991.","journal-title":"IPL"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45739-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:54:35Z","timestamp":1556398475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45739-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441656","9783540457398"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45739-9_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}