Kostas N. Oikonomou Abstractions of Random Finite-State Machines. 171-207 2001 18 Formal Methods in System Design 3 db/journals/fmsd/fmsd18.html#Oikonomou01