Discrete event system modeling using SysML and model transformation. - Chien-Chung Huang 003 (2011)