@mastersthesis{SandMsc,
author = {Sand, Kjell},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
title = {Development of Unit and Module Testing in Embedded Systems},
year = {2001},
}