{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215229},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_7","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T03:58:10Z","timestamp":1193716690000},"page":"92-107","source":"Crossref","is-referenced-by-count":22,"title":["Model Checking for Managers"],"prefix":"10.1007","author":[{"given":"Wil","family":"Janssen","sequence":"first","affiliation":[]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[]},{"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Fennema","sequence":"additional","affiliation":[]},{"given":"Petra","family":"van der Stappen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"7_CR1","unstructured":"Caesar\/Aldebaran Development Package homepage. Available at: http:\/\/www.inrialpes.fr\/vasy\/cadp.html"},{"key":"7_CR2","unstructured":"Property Specification Patterns for Finite-state Verification, ia]Matthew B. Dwyer, George S. Avrunin and James C. Corbett. In: Proceedings of the 2nd Workshop on Formal Methods in Software Practice, March, 1998."},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings World Congress on Formal Methods","author":"H. Eertink","year":"1999","unstructured":"Eertink, H., W.P.M. Janssen, P.H.W.M. Oude Luttighuis, W. Teeuw, and C.A. Vissers, A Business Process Design Language. In: Proceedings World Congress on Formal Methods. Springer LNCS. Toulouse, September 1999."},{"issue":"4","key":"7_CR4","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1002\/(SICI)1099-1441(199812)5:4<208::AID-KPM27>3.0.CO;2-9","volume":"5","author":"H.M. Franken","year":"1998","unstructured":"Franken, H.M. and W. Janssen, Get a grip on changing business processes, Knowledge & Process Management (Wiley), Vol. 5, No.4, pp.208\u2013215. December 1998.","journal-title":"Knowledge & Process Management"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Garavel, H., OPEN\/CAESAR: An open software architecture for verification, simulation and testing. INRIA Rapport de recherche n3352, January 1998.","DOI":"10.1007\/BFb0054165"},{"key":"7_CR6","unstructured":"Havelund, K., M. Lowry and J. Penix. Formal analysis of a space craft controller using Spin. in G. Holzman, E. Najm and A. Serhrouchni (eds.), Proceedings of the 4th International SPIN Workshop, Paris, France, Nov. 1998, pp. 147167."},{"issue":"5","key":"7_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzman","year":"1997","unstructured":"Holzman, G.J., The model checker SPIN, IEEE Transactions on Software Engineering, Vol. 23, No. 5, May 1997, 279\u2013295.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR8","unstructured":"Jacobson, I., M. Ericsson en A. Jacobson, The Object Advantage-Business Process Reengineering with Object Technology, ACM Books, 1995."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Jonkers, H., W. Janssen, A. Verschut and E. Wierstra, \u201cA unified framework for design and performance analysis of distributed systems\u201d, in Proceedings of the 3rd Annual IEEE International Computer Performance and Dependability Symposium (IPDS\u201d98), Durham, NC, USA, Sept. 1998, pp. 109\u2013118.","DOI":"10.1109\/IPDS.1998.707714"},{"key":"7_CR10","unstructured":"Janssen, W., R. Mateescu, S. Mauw and J. Springintveld, Verifying business processes using SPIN, in G. Holzman, E. Najm and A. Serhrouchni (eds.), Proceedings of the 4th International SPIN Workshop, Paris, France, Nov. 1998, pp. 21\u201336. Also available at: http:\/\/netlib.bell-labs.com\/netlib\/spin\/ws98\/sjouke.ps.gz"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Kars, P., The application of Promela and Spin in the BOS project. In: Proceedings Second Spin Workshop. August 1996. Available at: http:\/\/netlib.belllabs.com\/netlib\/spin\/ws96\/papers.html","DOI":"10.1090\/dimacs\/032\/05"}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T03:15:49Z","timestamp":1556939749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}