Olivier Maffeïs Paul Le Guernic Combining Dependability with Architectural Adatability by Means of the SIGNAL Language. 99-110 1993 conf/sas/1993 WSA db/conf/sas/wsa93.html#MaffeisG93