Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design | IEEE Conference Publication | IEEE Xplore