Formally Specifying Requirements with RSL-IL.

David de Almeida Ferreira, Alberto Rodrigues da Silva

Browse the full QUATIC paper archive.