@article{dblp:journals/mscs/dammprw13,
Author = {Damm, Werner and Peter, Hans-Jörg and Rakow, Jan and Westphal, Bernd},
Title = {Can we build it: formal synthesis of control strategies for cooperative driver assistance systems},

Journal = {Mathematical Structures in Computer Science},
Year = {2013},
Pages = {676-725},
Doi = {10.1017/s0960129512000230},
type = {article}
}
@COMMENT{Bibtex file generated on }