@book(DBLP:books/daglib/0020348, ) @inproceedings(ball_vacuity_2008, ) @book(CENELEC50128, ) @inproceedings(DBLP:conf/aitest/ChanceGLPE20, doi = {10.1109/AITEST49225.2020.00012}, ) @article(chow:wmethod, ) @inproceedings(DBLP:conf/forte/DorofeevaEY05, doi = {10.1007/11562436\_16}, ) @manual(eder_kerstin_2021_5203111, doi = {10.5281/zenodo.5203111}, ) @misc(ETCS, ) @inproceedings(10.1145/1514095.1514126, doi = {10.1145/1514095.1514126}, ) @inproceedings(DBLP:conf/itsc/HauerSHP19, doi = {10.1109/ITSC.2019.8917326}, ) @inproceedings(Hen96, ) @article(DBLP:journals/jsa/HerdtGPD20, doi = {10.1016/j.sysarc.2020.101756}, ) @article(DBLP:journals/cj/Hierons16, doi = {10.1093/comjnl/bxv057}, ) @article(peleska_sttt_2014, doi = {10.1007/s10009-014-0356-8}, ) @article(Huang2017, doi = {10.1007/s00165-016-0402-2}, ) @article(Huebner2019, doi = {10.1007/s10270-017-0595-8}, ) @inproceedings(hungar_scenario-based_2018, ) @book(iso21448, ) @techreport(iso26262-4, ) @book(RR-1478-RC, doi = {10.7249/RR1478}, ) @manual(krafczyk_niklas_2021_5151778, doi = {10.5281/zenodo.5151778}, ) @inproceedings(9282616, doi = {10.1109/QRS-C51114.2020.00016}, ) @inproceedings(DBLP:conf/fates/LarsenMN04, doi = {10.1007/978-3-540-31848-4\_6}, ) @article(DBLP:journals/access/LimaFH20, doi = {10.1109/ACCESS.2020.3021858}, ) @techreport(SysML15, ) @techreport(uml_2_5, ) @inproceedings(DBLP:conf/fm/Peleska96, doi = {10.1007/3-540-60973-3\_79}, ) @inproceedings(DBLP:conf/isola/000120, doi = {10.1007/978-3-030-61467-6\_28}, ) @inproceedings(DBLP:conf/isola/0001BH18, doi = {10.1007/978-3-030-03427-6\_11}, ) @inproceedings(DBLP:conf/rssrail/PeleskaHH16, doi = {10.1007/978-3-319-33951-1\_3}, ) @inproceedings(DBLP:conf/icst/Petrenko16, doi = {10.1109/ICSTW.2016.9}, ) @inproceedings(DBLP:conf/eccv/SunCHK20, doi = {10.1007/978-3-030-58604-1\_24}, ) @techreport(DO333, ) @techreport(DO331, ) @techreport(DO178C, ) @techreport(DO330, ) @article(DBLP:journals/tecs/WilhelmEEHTWBFHMMPPSS08, doi = {10.1145/1347375.1347389}, )