A Process Algebraic Approach to Decomposition of Communicating SysML Blocks
J. Jacobs and A. C. Simpson
Journal
International Journal of Modeling and Optimization
Number
2
Pages
153–157
Volume
3
Year
2013
J. Jacobs and A. C. Simpson