@article{,
	author          = {B. Wang and C. Pronk},
	title           = {Design and Implementation of a GUI for the TLC model checker},
	journal         = {Sigplan Notices},
	year            = {2006},
	month           = {Dec},
	volume          = {41},
	number          = {12},
	pages           = {38 .. 43},
	issn            = {0362-1340},
	group           = {SE}
}