A language agnostic approach to modeling requirements: specification and verification.

Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic

Browse the full MODELS paper archive.