Integration of software specification techniques for applications in engineeringHartmut EhrigAgotado4,3Notifícame