1. Model-Based requirements verification method: Conclusion from two controlled experiments;Aceituna;Information and Software Technology,2014
2. Requirements Authoring and Verification for SMEs’ Information Systems Engineering;Amokrane;World Congress of the International Federation of Automatic Control,2015
3. Use case maps for object-oriented systems;Buhr,1996
4. CESAR (2012). Cost-efficient methods and processes for safety relevant embedded systems. http://www.cesarproject.eu.