Trustworthy Software Development Based on Model Driven Architecture. - Yang Zhu; Lanhua Fei; Nianhua Yang (ICICA (1), 2013)