{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T20:32:57Z","timestamp":1760646777002,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,1]],"date-time":"2017-12-01T00:00:00Z","timestamp":1512086400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1145\/3158191.3158207","type":"proceedings-article","created":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T13:23:26Z","timestamp":1516627406000},"page":"95-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Traceability and impact analysis in requirement verification"],"prefix":"10.1145","author":[{"given":"Lena","family":"Buffoni","sequence":"first","affiliation":[{"name":"Link\u00f6ping University, Link\u00f6ping, Sweden"}]},{"given":"Adrian","family":"Pop","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Link\u00f6ping, Sweden"}]},{"given":"Alachew","family":"Mengist","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Link\u00f6ping, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2017,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Lena Buffoni and Peter Fritzson. 2014. Expressing Requirements in Modelica. (2014).  Lena Buffoni and Peter Fritzson. 2014. Expressing Requirements in Modelica. (2014)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SysEng.2016.7753137"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp17132823"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Martin Otter Nguyen Thuy Daniel Bouskela Lena Buffoni Hilding Elmqvist Peter Fritzson Alfredo Garro Audrey Jardin Hans Olsson Maxime Payelleville Wladimir Schamai Eric Thomas and Andrea Tundis. 2015. Formal Requirements Modeling for Simulation-Based Verification. (2015).  Martin Otter Nguyen Thuy Daniel Bouskela Lena Buffoni Hilding Elmqvist Peter Fritzson Alfredo Garro Audrey Jardin Hans Olsson Maxime Payelleville Wladimir Schamai Eric Thomas and Andrea Tundis. 2015. Formal Requirements Modeling for Simulation-Based Verification. (2015).","DOI":"10.3384\/ecp15118625"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Wladimir Schamai. 2013. Model-Based Verification of Dynamic System Behavior against Requirements.  Wladimir Schamai. 2013. Model-Based Verification of Dynamic System Behavior against Requirements.","DOI":"10.3384\/diss.diva-98107"},{"key":"e_1_3_2_1_6_1","volume-title":"Pablo Fontes De Miranda, and Peter Fritzson","author":"Schamai Wladimir","year":"2015","unstructured":"Wladimir Schamai , Lena Buffoni , Nicolas Albarello , Pablo Fontes De Miranda, and Peter Fritzson . 2015 . An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica . (2015). Wladimir Schamai, Lena Buffoni, Nicolas Albarello, Pablo Fontes De Miranda, and Peter Fritzson. 2015. An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica. (2015)."}],"event":{"name":"EOOLT'17: 8th International Workshop on Equation-Based Object-Oriented Languages and Tools","acronym":"EOOLT'17","location":"We\u00dfling Germany"},"container-title":["Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3158191.3158207","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3158191.3158207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:31Z","timestamp":1750212691000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3158191.3158207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":6,"alternative-id":["10.1145\/3158191.3158207","10.1145\/3158191"],"URL":"https:\/\/doi.org\/10.1145\/3158191.3158207","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]},"assertion":[{"value":"2017-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}