Modeling the Implementation of State-Based System Architectures | IEEE Conference Publication | IEEE Xplore