Model-Based Test Case Generation for Smart Cards. - Jan Philipps; Alexander Pretschner; Oscar Slotosch; Ernst Aiglstorfer; Stefan Kriebel; Kai Scholl (FMICS, 2003)

Model-based testing for real. - Alexander Pretschner; Oscar Slotosch; Ernst Aiglstorfer; Stefan Kriebel (Int. J. Softw. Tools Technol. Transf., 2004)