Formal methods for rapid software prototyping. - Alexandra Maria Quintas Figueiredo de Barros (1997)