Dominique Blouin, Holger Giese. Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design. In 42th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2016, Limassol, Cyprus, August 31 - Sept. 2, 2016. pages 266-274, IEEE Computer Society, 2016. [doi]
Abstract is missing.