@book{386,
	author = {Broy, M., and Stølen, Ketil.},
	title = {Specification and development of interactive systems :},
	publisher = {Springer,},
	year = {c2001.},
	address = {New York :}
}