GRASPIN ESPRIT projekt personaalse tarkvaratehnikakeskkonna arendamiseks, et toetada hajus- ja mittejärjestikuste tarkvarasüsteemide ehitamist ja verifitseerimist