Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach | IEEE Conference Publication | IEEE Xplore