Krzysztof Sacha Translatable Finite State Time Machine. 117-132 2007 conf/sdl/2007 SDL Forum http://dx.doi.org/10.1007/978-3-540-74984-4_8 db/conf/sdl/sdl2007.html#Sacha07