An approach to the creation of precise, intelligible problem specifications of large reactive systemsMartin KronenburgÉpuisé4,3Prévenez-moi
