{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:09Z","timestamp":1725473109635},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540474609"},{"type":"electronic","value":"9783540474623"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11901433_8","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:40:51Z","timestamp":1164026451000},"page":"132-148","source":"Crossref","is-referenced-by-count":0,"title":["Verifying \u03c7 Models of Industrial Systems with Spin"],"prefix":"10.1007","author":[{"given":"Nikola","family":"Tr\u010dka","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"van Beek, D.A., van der Ham, A., Rooda, J.E.: Modelling and control of process industry batch production systems. In: 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, Spain (2002)","key":"8_CR1","DOI":"10.3182\/20020721-6-ES-1901.00555"},{"doi-asserted-by":"crossref","unstructured":"Blom, S., Fokkink, W., Groote, J.F., van Langevelde, I., 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":"8_CR2","DOI":"10.1007\/3-540-44585-4_23"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.jlap.2005.05.001","volume":"65","author":"E. Bortnik","year":"2005","unstructured":"Bortnik, E., Tr\u010dka, N., Wijs, A.J., Luttik, S.P., van de Mortel-Fronczak, J.M., Baeten, J.C.M., Fokkink, W.J., Rooda, J.E.: Analyzing a \u03c7 model of a turntable system using SPIN, CADP and UPPAAL. Journal Of Logic and Algebraic Programming\u00a065, 51\u2013104 (2005)","journal-title":"Journal Of Logic and Algebraic Programming"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0736-5845(00)00027-2","volume":"17","author":"V. Bos","year":"2001","unstructured":"Bos, V., Kleijn, J.J.T.: Automatic verification of a manufacturing system. Robotics and Computer Integrated Manufacturing\u00a017, 185\u2013198 (2001)","journal-title":"Robotics and Computer Integrated Manufacturing"},{"unstructured":"Bo\u0161na\u010dki, D.: Enhancing State Space Reduction Techniques for Model Checking. PhD thesis, Eindhoven University of Technology (2001)","key":"8_CR5"},{"unstructured":"van Campen, E.J.J.: Design of a Multi-Process Multi-Product Wafer Fab. PhD thesis, Eindhoven University of Technology (2000)","key":"8_CR6"},{"key":"8_CR7","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"unstructured":"Fey, J.J.H.: Design of a Fruit Juice Blending and Packaging Plant. PhD thesis, Eindhoven University of Technology (2000)","key":"8_CR8"},{"unstructured":"Gerth, R.: Concise Promela reference. Obtainable from: http:\/\/spinroot.com\/spin\/Man\/Quick.html","key":"8_CR9"},{"unstructured":"Govaarts, J.A.: Efficiency in a lean assembly line: a case study at NedCar born. Master Thesis (October 1997)","key":"8_CR10"},{"issue":"8","key":"8_CR11","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1109\/32.940728","volume":"27","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Lowry, M., Penix, J.: Formal analysis of a space-craft controller using SPIN. IEEE Trans. on Software Engineering\u00a027(8), 749\u2013765 (2001)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"8_CR12","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"8_CR13","volume-title":"The SPIN model checker","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN model checker. Addison-Wesley, Reading (2003)"},{"issue":"5","key":"8_CR14","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. on Software Engineering\u00a023(5), 279\u2013295 (1997); Special issue on Formal Methods in Software Practice","journal-title":"IEEE Trans. on Software Engineering"},{"key":"8_CR15","volume-title":"The C Programming Language","author":"B.W. Kernighan","year":"1988","unstructured":"Kernighan, B.W., Ritchie, D.M.: The C Programming Language, 2nd edn. Prentice-Hall, Englewood Cliffs (1988)","edition":"2"},{"issue":"1-2","key":"8_CR16","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., 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":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/11537328_16","volume-title":"Model Checking Software","author":"B. Luttik","year":"2005","unstructured":"Luttik, B., Tr\u010dka, N.: Stuttering congruence for \u03c7. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol.\u00a03639, pp. 185\u2013199. Springer, Heidelberg (2005)"},{"unstructured":"Meijer, R.: \u03c7 to Promela translator. Obtainable from the TIPSy project web site: http:\/\/www.cwi.nl\/~wijs\/TIPSy\/main.htm","key":"8_CR18"},{"unstructured":"Schiffelers, R.R.H., Man, K.L.: Formal Specification and Analysis of Hybrid Systems. PhD thesis, Eindhoven University of Technology (2006)","key":"8_CR19"},{"key":"8_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901433_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T19:15:19Z","timestamp":1683659719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901433_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540474609","9783540474623"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11901433_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}