@article{Gross.2005:ENTCS,
	author          = {H.-G. Gross and I. Schieferdecker and G. Din},
	title           = {Model-based Built-in Tests},
	journal         = {Electronic Notes in Theoretical Computer Science},
	year            = {2005},
	month           = {January},
	volume          = {111},
	pages           = {161 -- 182},
	url             = {http://www.sciencedirect.com/science?_ob=ArticleListURL&_method=list&_ArticleListID=507374378&_sort=d&view=c&_acct=C000024500&_version=1&_urlVersion=0&_userid=499885&md5=e769064b6576022bbc16364ef4255b6e},
	group           = {SE}
}