Architecture description languages high-integrity real-time systems - Research Database, The University of York Other