Update biblography

	langid = {english},

	file = {Rovce - MANAGING THE DEVELOPMENT OF LARGE SOFTWARE SYSTEMS.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/PRR4SVZF/Rovce - MANAGING THE DEVELOPMENT OF LARGE SOFTWARE SYSTEMS.pdf:application/pdf}

}

@inproceedings{groothuis_virtual_2008,

	title = {Virtual Prototyping through Co-simulation of a Cartesian Plotter},

	url = {https://research.utwente.nl/en/publications/virtual-prototyping-through-co-simulation-of-a-cartesian-plotter},

	doi = {10.1109/ETFA.2008.4638472},

	eventtitle = {13th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2008},

	pages = {697--700},

	booktitle = {Proceedings of the 13th {IEEE} International Conference on Emerging Technologies and Factory Automation},

	publisher = {{IEEE} Industrial Electronics Society},

	author = {Groothuis, M. A. and Damstra, A. S. and Broenink, Johannes F.},

	urldate = {2020-12-08},

	date = {2008-09},

	file = {Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/T53WDGQ3/Groothuis et al. - 2008 - Virtual Prototyping through Co-simulation of a Car.pdf:application/pdf;Snapshot:/home/wouter/snap/zotero-snap/common/Zotero/storage/5VDDCZ5J/virtual-prototyping-through-co-simulation-of-a-cartesian-plotter.html:text/html}

}

@inproceedings{broenink_tooling_2020,

	title = {Tooling for automated testing of cyber-physical system models},

	volume = {1},

	doi = {10.1109/ICPS48405.2020.9274794},

	abstract = {This work presents a tool for automatic testing of cyber-physical systems via simulation. Cyber-physical system design can benefit from this automated testing as it allows for system-level requirements and prevents regression of the {designThe} tool is based on three parts: A testing language, a simulator controller, and a post processor. The testing language is a domain-specific language based on a Gherkin style syntax and can define test for multiple models and simulators. The domain specific language also defines algebraic, logical, and linear temporal logic transformations for outputs to define testing conditions. The tool can perform different sub-sets of tests based on a graphical or command line {interfaceThe} tool is demonstrated using an example where a motor is selected for a winch system. Here it is shown that the tool can verify component- and system-level requirements, and can detect regression. The tool is basis for a method supporting the design of cyber-physical systems.},

	eventtitle = {2020 {IEEE} Conference on Industrial Cyberphysical Systems ({ICPS})},

	pages = {257--262},

	booktitle = {2020 {IEEE} Conference on Industrial Cyberphysical Systems ({ICPS})},

	author = {Broenink, T. and Jansen, B. and Broenink, J.},

	date = {2020-06},

	keywords = {Computational modeling, Cyber-physical systems, {DSL}, Mathematical model, Syntactics, Testing, Tools},

	file = {IEEE Xplore Abstract Record:/home/wouter/snap/zotero-snap/common/Zotero/storage/TI5B2TVP/9274794.html:text/html}

}

@online{noauthor_nieuwe_nodate,

	title = {In de nieuwe intercity’s kun je boven lezen en beneden ouwehoeren},

	url = {https://www.nrc.nl/nieuws/2012/02/13/in-de-nieuwe-intercitys-kun-je-beneden-ouwehoeren-en-boven-lezen-a1447739},

	abstract = {Eind deze maand is het eerste exemplaar al op het spoor te bewonderen: de nieuwe gerecyclede intercity-dubbeldekker. Met gepaste trots door de {NS}…},

	titleaddon = {{NRC}},

	urldate = {2020-12-09},

	langid = {dutch},

	file = {Snapshot:/home/wouter/snap/zotero-snap/common/Zotero/storage/TXE8CNG3/in-de-nieuwe-intercitys-kun-je-beneden-ouwehoeren-en-boven-lezen-a1447739.html:text/html}

}

@online{noauthor_mediatum_nodate,

	title = {{mediaTUM} - Media and Publication Server},

	url = {https://mediatum.ub.tum.de/?id=1362587},

	urldate = {2020-12-09},

	file = {mediaTUM - Media and Publication Server:/home/wouter/snap/zotero-snap/common/Zotero/storage/NNH2W8MA/mediatum.ub.tum.de.html:text/html}

}

@online{kocer_urnnbn_nodate,

	title = {{URN}:{NBN} Resolver für Deutschland und Schweiz},

	url = {https://nbn-resolving.org/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20180321-1362587-1-8},

	shorttitle = {{URN}},

	author = {Koçer, Kadir Karaca},

	urldate = {2020-12-09},

	langid = {german},

	note = {Publisher: German National Library},

	file = {Snapshot:/home/wouter/snap/zotero-snap/common/Zotero/storage/4FVSYSJH/resolver.html:text/html}

}

@thesis{lotz_managing_2018,

	title = {Managing Non-Functional Communication Aspects in the Entire Life-Cycle of a Component-Based Robotic Software System},

	url = {https://mediatum.ub.tum.de/?id=1362587},

	abstract = {An integrated modeling approach addresses two common robotics software engineering needs in combination. One is related to complexity management by component-based engineering. The other is related to managing non-functional properties. An Eclipse-based modeling tool and a real-world example demonstrate that external analysis tools from other domains can be made accessible for the robotics domain to systematically manage non-functional aspects in robotics applications.},

	type = {phdthesis},

	author = {Lotz, Alex},

	date = {2018-03-21},

	file = {Lotz - 2018 - Managing Non-Functional Communication Aspects in t.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/65TQIX82/Lotz - 2018 - Managing Non-Functional Communication Aspects in t.pdf:application/pdf}

}