An Overall Specification of a Meta-Model of Computation For Model-Driven Embedded System Modeling | IEEE Conference Publication | IEEE Xplore