Flexible Formality Practical Experience with Agile Formal Methods | Publicación