INT 2000 - Integration of Specification Techniques with Applications in Engineering