Florentin Ipate Test Selection for Hierarchical and Communicating Finite State Machines. 334-347 2009 52 Comput. J. 3 http://dx.doi.org/10.1093/comjnl/bxn027 db/journals/cj/cj52.html#Ipate09