An Approach to Model-based Development of Secure and Reliable Systems | IEEE Conference Publication | IEEE Xplore