Modeling and simulation of software architecture in discrete event system specification for quality evaluation. (March 2014)