Integration of software specification techniques for applications in engineeringHartmut EhrigEsaurito4,3Avvisami