{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:20:56Z","timestamp":1725492056578},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540756972"},{"type":"electronic","value":"9783540756989"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75698-9_6","type":"book-chapter","created":{"date-parts":[[2007,10,3]],"date-time":"2007-10-03T22:26:03Z","timestamp":1191450363000},"page":"81-97","source":"Crossref","is-referenced-by-count":0,"title":["Adapting the UPPAAL Model of a Distributed Lift System"],"prefix":"10.1007","author":[{"given":"Wan","family":"Fokkink","sequence":"first","affiliation":[]},{"given":"Allard","family":"Kakebeen","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/978-3-540-39893-6_29","volume-title":"Formal Methods and Software Engineering","author":"J. Pang","year":"2003","unstructured":"Pang, J., Karstens, B., Fokkink, W.J.: Analyzing the Redesign of a Distributed Lift System in UPPAAL. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 504\u2013522. Springer, Heidelberg (2003)"},{"key":"6_CR2","unstructured":"Karstens, B.: Formal Verification of the Redesign of a Distributed Lift System using Uppaal. MSc thesis, Utrecht University (June 2003), available at \n                  \n                    http:\/\/www.phil.uu.nl\/preprints\/scripties\/list.html"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"Computer Aided Verification","author":"S.C.C. Blom","year":"2001","unstructured":"Blom, S.C.C., Fokkink, W.J., Groote, J.F., van Langevelde, I.A., Lisser, B., van de Pol, J.C.: \u03bcCRL: A Toolset for Analysing Algebraic Specifications. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 250\u2013254. Springer, Heidelberg (2001)"},{"key":"6_CR4","unstructured":"Groote, J.F., Pang, J., Wouters, A.G.: A Balancing Act: Analyzing a Distributed Lift System. In: Proc. FMICS 2001, pp. 1\u201312 (2001)"},{"issue":"1-2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S1567-8326(02)00038-3","volume":"55","author":"J.F. Groote","year":"2003","unstructured":"Groote, J.F., Pang, J., Wouters, A.G.: Analysis of a Distributed System for Lifting Trucks. Journal of Logic and Algebraic Programming\u00a055(1-2), 21\u201356 (2003)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1\u20132","key":"6_CR6","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Wang, Y.: UPPAAL in a Nutshell. Software Tools for Technology Transfer\u00a01(1\u20132), 134\u2013152 (1997)","journal-title":"Software Tools for Technology Transfer"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","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":"Aceto, L., Burgueno, A., Larsen, K.G.: Model Checking via Reachability Testing for Timed Automata. In: Steffen, B. (ed.) ETAPS 1998 and TACAS 1998. LNCS, vol.\u00a01384, pp. 263\u2013280. Springer, Heidelberg (1998)"},{"issue":"1-3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/S0304-3975(02)00334-1","volume":"300","author":"L. Aceto","year":"2003","unstructured":"Aceto, L., Bouyer, P., Burgueno, A., Larsen, K.G.: The Power of Reachability Testing for Timed Automata. Theoretical Computer Science\u00a0300(1-3), 411\u2013475 (2003)","journal-title":"Theoretical Computer Science"},{"key":"6_CR9","unstructured":"Gmbh, R.B.: Postfach 30 02 40, D-70442 Stuttgart, Germany. CAN Specification. Version 2.0 (1991)"},{"issue":"2","key":"6_CR10","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":"6_CR11","unstructured":"Kakebeen, A.: Extension and Formal Verification of a Distributed Lift System in UPPAAL. MSc thesis, Radbout Universiteit Nijmegen (August 2005), available at \n                  \n                    www.cs.vu.nl\/~wanf\/kakebeen.doc"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/3-540-48778-6_17","volume-title":"Formal Methods for Real-Time and Probabilistic Systems","author":"K. Havelund","year":"1999","unstructured":"Havelund, K., Larsen, K.G., Skou, A.: Formal Verification of a Power Controller using the Real-time Model Checker UPPAAL. In: Katoen, J.-P. (ed.) AMAST-ARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol.\u00a01601, pp. 277\u2013298. Springer, Heidelberg (1999)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/978-3-540-40903-8_5","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M. Hendriks","year":"2004","unstructured":"Hendriks, M., Behrmann, G., Larsen, K.G., Niebert, P., Vaandrager, F.W.: Adding Symmetry Reduction to UPPAAL. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 46\u201359. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75698-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:35:04Z","timestamp":1558262104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75698-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540756972","9783540756989"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75698-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}