{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T18:50:00Z","timestamp":1770749400084,"version":"3.50.0"},"publisher-location":"Cham","reference-count":4,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319192482","type":"print"},{"value":"9783319192499","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19249-9_43","type":"book-chapter","created":{"date-parts":[[2015,5,23]],"date-time":"2015-05-23T03:55:31Z","timestamp":1432353331000},"page":"605-608","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing the Concept Phase of Product Development"],"prefix":"10.1007","author":[{"given":"Mathijs","family":"Schuts","sequence":"first","affiliation":[]},{"given":"Jozef","family":"Hooman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"43_CR1","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/32.663994","volume":"24","author":"S.M. Easterbrook","year":"1998","unstructured":"Easterbrook, S.M., Lutz, R.R., Covington, R., Kelly, J., Ampo, Y., Hamilton, D.: Experiences using lightweight formal methods for requirements modeling. IEEE Trans. Software Eng.\u00a024(1), 4\u201314 (1998)","journal-title":"IEEE Trans. Software Eng."},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Goodloe, A., Gunter, C.A., Stehr, M.-O.: Formal prototyping in early stages of protocol design. In: WITS 2005, pp. 67\u201380. ACM (2005)","DOI":"10.1145\/1045405.1045413"},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Theelen, B.D., Florescu, O., Geilen, M., Huang, J., van der Putten, P.H.A., Voeten, J.: Software\/Hardware Engineering with the Parallel Object-Oriented Specification Language. In: Proc. of MEMOCODE 2007, pp. 139\u2013148. IEEE (2007)","DOI":"10.1109\/MEMCOD.2007.371231"},{"key":"43_CR4","unstructured":"van Bokhoven, L.J.: Constructive tool design for formal languages; from semantics to executing models. Phd thesis, Eindhoven Univ. of Tech., The Netherlands (2004)"}],"container-title":["Lecture Notes in Computer Science","FM 2015: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19249-9_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T21:46:49Z","timestamp":1559166409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19249-9_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192482","9783319192499"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19249-9_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}