"3"^^ . . . . . . "integroitu formaalinen tie teollisuuden ohjelmistonkehitykseen(METEOR)"@fi . . .