Automatic Conversion and Verification System Based on AADL Scheduling Model | IEEE Conference Publication | IEEE Xplore