"Accelerating temporal verification of Simulink diagrams using ..."

Petr Bauch, Vojtech Havel, Jiri Barnat (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics