@articledblp: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} @COMMENTBibtex file generated on