Jean-Baptiste Raclet Eric Badouel Albert Benveniste Benoît Caillaud Axel Legay Roberto Passerone Modal interfaces: unifying interface automata and modal specifications. 87-96 2009 EMSOFT http://doi.acm.org/10.1145/1629335.1629348 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#RacletBBCLP09