Hou, M., Pugh, A. C., Hayton, G. E., "A test for behavioral equivalence", IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000