An approach to the creation of precise, intelligible problem specifications of large reactive systemsMartin KronenburgUitverkocht4,3Hou mij op de hoogte