A model-driven approach for the development of safety-critical functions using modified architecture description language (ADL) | IEEE Conference Publication | IEEE Xplore