{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T13:40:08Z","timestamp":1738935608452,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642002540"},{"type":"electronic","value":"9783642002557"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00255-7_7","type":"book-chapter","created":{"date-parts":[[2009,2,7]],"date-time":"2009-02-07T07:12:32Z","timestamp":1233990752000},"page":"88-102","source":"Crossref","is-referenced-by-count":5,"title":["Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format"],"prefix":"10.1007","author":[{"given":"Jan","family":"St\u00f6cker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Garavel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52148-8_11","volume-title":"Automatic Verification Methods for Finite State Systems","author":"A. Arnold","year":"1990","unstructured":"Arnold, A.: MEC: A System for Constructing and Analysing Transition Systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407. Springer, Heidelberg (1990)"},{"key":"7_CR3","volume-title":"Process Algebra with Timing","author":"J. Baeten","year":"2001","unstructured":"Baeten, J., Middelburg, C.: Real time and discrete time. In: Process Algebra with Timing. North-Holland, Amsterdam (2001)"},{"key":"7_CR4","volume-title":"Proc. of SEFM","author":"A. Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Components in BIP. In: Proc. of SEFM. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR6","first-page":"32","volume":"75","author":"B. Berthomieu","year":"2008","unstructured":"Berthomieu, B., Garavel, H., Lang, F., Vernadat, F.: Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED\/FIACRE. ERCIM News\u00a075, 32\u201333 (2008)","journal-title":"ERCIM News"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11867340_7","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"B. Berthomieu","year":"2006","unstructured":"Berthomieu, B., Peres, F., Vernadat, F.: Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 82\u201397. Springer, Heidelberg (2006)"},{"key":"7_CR8","unstructured":"Berthomieu, B., Vernadat, F.: Time Petri Nets Analysis with TINA. In: Proc. of QEST (2006)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-39866-0_20","volume-title":"Perspectives of System Informatics","author":"S. Blom","year":"2004","unstructured":"Blom, S., Ioustinova, N., Sidorova, N.: Timed Verification with \u03bcCR. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 178\u2013192. Springer, Heidelberg (2004)"},{"key":"7_CR10","volume-title":"Proc. of FORTE 1991","author":"T. Bolognesi","year":"1991","unstructured":"Bolognesi, T., Lucidi, F.: LOTOS-like Process Algebras with Urgent or Timed Interactions. In: Proc. of FORTE 1991. North-Holland, Amsterdam (1991)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-49213-5_5","volume-title":"Compositionality: The Significant Difference","author":"S. Bornot","year":"1998","unstructured":"Bornot, S., Sifakis, J., Tripakis, S.: Modeling urgency in timed systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, p. 103. Springer, Heidelberg (1998)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_98","volume-title":"Computer Aided Verification","author":"A. Bouali","year":"1996","unstructured":"Bouali, A., Ressouche, A., Roy, V., de Simone, R.: The Fc2Tools set: a Toolset for the Verification of Concurrent Systems. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102. Springer, Heidelberg (1996)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-73094-1_7","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"M. Boyer","year":"2007","unstructured":"Boyer, M., Roux, O.H.: Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 63\u201382. Springer, Heidelberg (2007)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: Tools and Applications II: The IF Toolset. In: Proc. of SFM (2004)","DOI":"10.1007\/978-3-540-30080-9_8"},{"issue":"3-4","key":"7_CR15","doi-asserted-by":"crossref","first-page":"291","DOI":"10.3233\/FUN-2004-623-402","volume":"62","author":"F. Cassez","year":"2004","unstructured":"Cassez, F., Pagetti, C., Roux, O.: A timed extension for AltaRica. Fundamenta Informatic\u00e6\u00a062(3-4), 291\u2013332 (2004)","journal-title":"Fundamenta Informatic\u00e6"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(98)00008-5","volume":"216","author":"A. Cerone","year":"1999","unstructured":"Cerone, A., Maggiolo-Schettini, A.: Time-based expressivity of Time Petri Nets for system specification. Theoretical Computer Science\u00a0216(1), 1\u201354 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"11-12","key":"7_CR17","doi-asserted-by":"crossref","first-page":"888","DOI":"10.1007\/BF03005245","volume":"50","author":"J.-P. Courtiat","year":"1995","unstructured":"Courtiat, J.-P., Cruz de Oliveira, R.: On RT-LOTOS and its Application to the Formal Design of Multimedia Protocols. Annals of Telecommunications\u00a050(11-12), 888\u2013906 (1995)","journal-title":"Annals of Telecommunications"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","volume":"138","author":"J.W. Davies","year":"1995","unstructured":"Davies, J.W., Schneider, S.A.: A Brief History of Timed CSP. Theoretical Computer Science\u00a0138(2), 243\u2013271 (1995)","journal-title":"Theoretical Computer Science"},{"key":"7_CR19","volume-title":"Proc. of ICECCS","author":"M. Faug\u00e8re","year":"2007","unstructured":"Faug\u00e8re, M., Bourbeau, T., de Simone, R., G\u00e9rard, S.: MARTE: Also an UML Profile for Modeling AADL Applications. In: Proc. of ICECCS. IEEE, Los Alamitos (2007)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Feiler, P., Gluch, D., Hudak, J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical note, Carnegie Mellon (2006)","DOI":"10.21236\/ADA455842"},{"key":"7_CR21","unstructured":"Garavel, H.: Compilation et v\u00e9rification de programmes LOTOS. PhD thesis, Universit\u00e9 Joseph\u00a0Fourier, Grenoble (1989)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F.: NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529. Springer, Heidelberg (2002); Full version available as INRIA Research Report\u00a0RR-4666"},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/3-540-45937-5_3","volume-title":"Compiler Construction","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: Compiler Construction Using LOTOS NT. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, p. 9. Springer, Heidelberg (2002)"},{"key":"7_CR24","series-title":"H.\u00a0Garavel, F.\u00a0Lang, R.\u00a0Mateescu, and W.\u00a0Serwe","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-73368-3_18","volume-title":"Computer Aided Verification","author":"H. Garavel","year":"2007","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP\u00a02006: A Toolbox for the Construction and Analysis of Distributed Processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. H.\u00a0Garavel, F.\u00a0Lang, R.\u00a0Mateescu, and W.\u00a0Serwe, vol.\u00a04590, pp. 158\u2013163. Springer, Heidelberg (2007)"},{"key":"7_CR25","volume-title":"Proc. of FORTE\/PSTV","author":"H. Garavel","year":"1999","unstructured":"Garavel, H., Sighireanu, M.: A Graphical Parallel Composition Operator for Process Algebras. In: Proc. of FORTE\/PSTV. Kluwer, Dordrecht (1999)"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/11513988_41","volume-title":"Computer Aided Verification","author":"G. Gardey","year":"2005","unstructured":"Gardey, G., Lime, D., Magnin, M., Roux, O.: Romeo: A Tool for Analyzing Time Petri Nets. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 418\u2013423. Springer, Heidelberg (2005)"},{"key":"7_CR27","unstructured":"Hause, M.: The SysML Modelling Language. In: Fifteenth European Systems Engineering Conference (2006)"},{"key":"7_CR28","unstructured":"ISO\/IEC. Enhancements to LOTOS (E-LOTOS). International Standard 15437:2001, International Organization for Standardization (September 2001)"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201992","author":"G. Karjoth","year":"1992","unstructured":"Karjoth, G.: Implementing LOTOS Specifications by Communicating State Machines. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630. Springer, Heidelberg (1992)"},{"issue":"1-2","key":"7_CR30","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K. Larsen","year":"1997","unstructured":"Larsen, K., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"L\u00e9onard, L., Leduc, G.: A Formal Definition of Time in LOTOS. In: Formal Aspects of Computing, pp. 28\u201396 (1998)","DOI":"10.1007\/s001650050015"},{"key":"7_CR32","unstructured":"Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, Univ. of California, Irvine (1974)"},{"key":"7_CR33","series-title":"Lecture Notes in Computer Science","volume-title":"Semantics: Foundations and Applications","author":"X. Nicollin","year":"1993","unstructured":"Nicollin, X., Sifakis, J.: An Overview and Synthesis on Timed Process Algebras. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1992. LNCS, vol.\u00a0666. Springer, Heidelberg (1993)"},{"issue":"1","key":"7_CR34","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1083","volume":"114","author":"X. Nicollin","year":"1994","unstructured":"Nicollin, X., Sifakis, J.: The Algebra of Timed Processes ATP: Theory and Application. Information and Computation\u00a0114(1), 131\u2013178 (1994)","journal-title":"Information and Computation"},{"issue":"2","key":"7_CR35","first-page":"99","volume":"10","author":"J. Ouaknine","year":"2003","unstructured":"Ouaknine, J., Worrell, J.: Timed CSP = closed timed \u03b5-automata. Nordic Journal of Computing\u00a010(2), 99\u2013133 (2003)","journal-title":"Nordic Journal of Computing"},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: A Timed Model for Communicating Sequential Processes. Theoretical Computer Science\u00a058, 249\u2013261 (1988)","journal-title":"Theoretical Computer Science"},{"key":"7_CR37","volume-title":"Proc. of TIME","author":"M.A. Reniers","year":"2005","unstructured":"Reniers, M.A., Usenko, Y.S.: Analysis of Timed Processes with Data Using Algebraic Transformations. In: Proc. of TIME. IEEE, Los Alamitos (2005)"},{"key":"7_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/11888116_29","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"T. Sadani","year":"2006","unstructured":"Sadani, T., Boyer, M., de Saqui-Sannes, P., Courtiat, J.-P.: Effective representation of RT-LOTOS terms by finite time petri nets. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 404\u2013419. Springer, Heidelberg (2006)"},{"key":"7_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-540-75454-1_25","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"F. Wang","year":"2007","unstructured":"Wang, F.: Symbolic Simulation-Checking of Dense-Time Automata. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 352\u2013368. Springer, Heidelberg (2007)"},{"key":"7_CR40","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"W. Yi","year":"1991","unstructured":"Yi, W.: CCS + Time = An Interleaving Model for Real Time Systems. In: Leach Albert, J., Monien, B., Rodr\u00edguez-Artalejo, M. (eds.) ICALP 1991. LNCS, vol.\u00a0510. Springer, Heidelberg (1991)"},{"issue":"1\/2","key":"7_CR41","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S. Yovine","year":"1997","unstructured":"Yovine, S.: Kronos: A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer\u00a01(1\/2), 123\u2013133 (1997)","journal-title":"International Journal of Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00255-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,7]],"date-time":"2025-02-07T13:02:20Z","timestamp":1738933340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00255-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642002540","9783642002557"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00255-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}