Application of safety analyses in model driven development - MIGUEL CABELLO, MIGUEL ANGEL DE; ALONSO MUÑOZ, ALEJANDRO ANTONIO (Lecture Notes In Computer Science, 2007)