RSL-IL: An interlingua for formally documenting requirements.

David de Almeida Ferreira, Alberto Rodrigues da Silva

Browse the full RE paper archive.