Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. - Heikki Tauriainen; Keijo Heljanko (SPIN, 2000)

Testing LTL formula translation into Büchi automata. - Heikki Tauriainen; Keijo Heljanko (Int. J. Softw. Tools Technol. Transf., 2002)

Improved On-the-fly Verification with Testers. - Timo Latvala; Heikki Tauriainen (Nord. J. Comput., 2004)

Nested Emptiness Search for Generalized Büchi Automata. - Heikki Tauriainen (Fundam. Informaticae, 2006)