Update references

	file = {IEEE Xplore Abstract Record:/home/wouter/snap/zotero-snap/common/Zotero/storage/WWGIEWXH/metrics.html:text/html;IEEE Xplore Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/9VHITI35/Boehm - 1988 - A spiral model of software development and enhance.pdf:application/pdf}

}

@article{janzen_test-driven_2005,

	title = {Test-driven development concepts, taxonomy, and future direction},

	volume = {38},

	issn = {1558-0814},

	doi = {10.1109/MC.2005.314},

	abstract = {Test-driven development creates software in very short iterations with minimal upfront design. This strategy requires writing automated tests prior to developing functional code in small, rapid iterations. Although developers have been applying {TDD} in various forms for several decades, this software development strategy has continued to gain increased attention as one of the core extreme programming practices.},

	pages = {43--50},

	number = {9},

	journaltitle = {Computer},

	author = {Janzen, D. and Saiedian, H.},

	date = {2005-09},

	keywords = {software development, automated test software, Automatic programming, Automatic testing, Books, Computer science, extreme programming, iterative software development, Production, program testing, Programming profession, software development management, software development strategy, Software engineering, software iteration, software prototyping, Software testing, Taxonomy, test-driven development, Writing, agile tdd},

	file = {IEEE Xplore Abstract Record:/home/wouter/snap/zotero-snap/common/Zotero/storage/W3KTG3NA/1510569.html:text/html;IEEE Xplore Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/KTNVDFUK/Janzen and Saiedian - 2005 - Test-driven development concepts, taxonomy, and fu.pdf:application/pdf}

}

@inproceedings{fu_model-based_2018,

	title = {Model-based Test-Driven Cyber-Physical System Design},

	doi = {10.1109/SECON.2018.8479080},

	file = {Springer Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/HCYFT5FW/van Osch - 2005 - Automated Model-Based Testing of χ Simulation Mode.pdf:application/pdf}

}

@article{janzen_test-driven_2005-1,

@article{janzen_test-driven_2005,

	title = {Test-driven development concepts, taxonomy, and future direction},

	volume = {38},

	issn = {1558-0814},

	file = {Jansen - 2019 - Automated Testing of MOdels of Cyber-Physical Syst.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/J2F5Z62A/Jansen - 2019 - Automated Testing of MOdels of Cyber-Physical Syst.pdf:application/pdf}

}

@article{tim_broenink_tooling_2020,

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

	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 design.  The 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 interface.  The 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.},

	pages = {6},

	author = {{Tim Broenink} and {Bas Jansen} and {Jan Broenink}},

	date = {2020},

	file = {Broenink et al. - 2020 - Tooling for automated testing of cyber-physical sy.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/K34HUG5Y/Broenink et al. - 2020 - Tooling for automated testing of cyber-physical sy.pdf:application/pdf}

}

@article{matinnejad_test_2019,

	title = {Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior},

	volume = {45},

}

@online{noauthor_robmosys_2017,

	title = {{RobMoSys} Wiki},

	title = {{RobMoSys}},

	url = {https://robmosys.eu/approach/},

	abstract = {Open {RobMoSys} Wiki in a new window},

	titleaddon = {{RobMoSys}},

	note = {{OCLC}: 884098},

	file = {Stachowiak - 1973 - Allgemeine Modelltheorie.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/9Z5P2CHN/Stachowiak - 1973 - Allgemeine Modelltheorie.pdf:application/pdf}

}

@book{stachowiak_allgemeine_1973-1,

	location = {Wien},

	title = {Allgemeine Modelltheorie},

	isbn = {978-3-211-81106-1 978-0-387-81106-2},

	pagetotal = {494},

	publisher = {Springer},

	author = {Stachowiak, Herbert},

	date = {1973},

	langid = {german},

	note = {{OCLC}: 884098},

	file = {Stachowiak - 1973 - Allgemeine Modelltheorie.pdf:/home/wouter/snap/zotero-snap/common/Zotero/storage/L48VUG2Z/Stachowiak - 1973 - Allgemeine Modelltheorie.pdf:application/pdf}

}

@article{khudyakov_version_2018,

	title = {Version control system of {CAD} documents and {PLC} projects},

	volume = {1015},

	issn = {1742-6596},

	url = {https://doi.org/10.1088/1742-6596/1015/4/042020},

	doi = {10.1088/1742-6596/1015/4/042020},

	abstract = {The paper presents the process of developing a version control system for {CAD} documents and {PLC} projects. The software was tested and the optimal composition of the modules was selected. The introduction of the system has made it possible to increase the safety and stability of the process control systems, as well as to reduce the number of conflicts for versions of {CAD} files. The number of incidents at the enterprise related to the use of incorrect versions of {PLC} projects is reduced to 0.},

	pages = {042020},

	journaltitle = {Journal of Physics: Conference Series},

	shortjournal = {J. Phys.: Conf. Ser.},

	author = {Khudyakov, P. Yu and Kisel'nikov, A. Yu and Startcev, I. M. and Kovalev, A. A.},

	urldate = {2021-02-23},

	date = {2018-05},

	langid = {english},

	note = {Publisher: {IOP} Publishing},

	file = {IOP Full Text PDF:/home/wouter/snap/zotero-snap/common/Zotero/storage/PZHH8LCE/Khudyakov et al. - 2018 - Version control system of CAD documents and PLC pr.pdf:application/pdf}

}

 No newline at end of file