Three papers by the Fault Tolerant Systems Research Group of BUTE have been accepted at the MODELS 2014 (ACM/IEEE Model Driven Engineering Languages and Systems) scientific conference, the top international forum for model-driven software engineering