INT 2000. Integration of specification techniques with applications in engineering. Extented abstracts - Astesiano, Egidio (Bericht, 2000)