Vitalsource Technologies, Inc. MODEL-BASED ENGINEERING WITH AADL: AN INTRODUCTION TO THE SAE ARCHITECT