Integration of software specification techniques for applications in engineeringHartmut EhrigSold out4.3Track