"Modeling and Analysis of Automotive Systems: Current Approaches and Future ..."

Paolo Giusto, Ramesh S., Sudhakaran M. (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics