Port automata based behavioral expression method for nested system structure
XUE Gang, ZHANG Yunchun, LIU Di, YAO Shaowen
Journal of Computer Applications . 2016, (7): 2016 -2020 .  DOI: 10.11772/j.issn.1001-9081.2016.07.2016