An approach to inference of finite state machines based on gravitationally-inspired search algorithmSpitšakova, Margarita12th Symposium on Programming Languages and Software Tools : SPLST'11 : Tallinn, Estonia, 5-7 October 2011 : proceedings2011 / p. 185-195 : ill