Design of operating systems using the F.D.T. ESTELLE. - Oliverio González; Victor G. García; Miguel Riesco; Enrique Vázquez (FORTE, 1994)