Integration of software specification techniques for applications in engineeringHartmut EhrigÉpuisé4,3Prévenez-moi