Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova. On the correctness of upper layers of automotive systems. Formal Asp. Comput., 20(6):637-662, 2008. [doi]
@article{BotaschanjanBGHKKPS08,
title = {On the correctness of upper layers of automotive systems},
author = {Jewgenij Botaschanjan and Manfred Broy and Alexander Gruler and Alexander Harhurin and Steffen Knapp and Leonid Kof and Wolfgang J. Paul and Maria Spichkova},
year = {2008},
doi = {10.1007/s00165-008-0097-0},
url = {http://dx.doi.org/10.1007/s00165-008-0097-0},
researchr = {https://researchr.org/publication/BotaschanjanBGHKKPS08},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {20},
number = {6},
pages = {637-662},
}