"Model-Checking Real-Time Properties of an Aircraft Landing Gear System ..."

Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics