A Tropos Model-Driven Development Environment. - Davide Bertolini; Loris Delpero; John Mylopoulos; Aliaksei Novikau; Alessandro Orler; Loris Penserini; Anna Perini; Angelo Susi; Barbara Tomasi (CAiSE Forum, 2006)