Includes bibliogr. Thesis (Ph.D. in Computer and Systems Engineering) : Tallinn University of Technology, 2012. Autori CV inglise ja eesti keeles, lk. 139-142. Ka eestikeelse tiitellehega. Kokkuvõte eesti keeles, lk. 9
Pealkirja tõlge: Süsteemide modelleerimine protsessorikesksete testprogrammide sünteesi automatiseerimiseks
Kättesaadav ka võrguteavikuna