Antonín Kucera On Simulation-Checking with Sequential Systems. 133-148 http://link.springer.de/link/service/series/0558/bibs/1961/19610133.htm 2000 conf/asian/2000 ASIAN db/conf/asian/asian2000.html#Kucera00