@book{14008,
	author = {WIERINGA},
	title = {DESIGN METHODS FOR REACTIVE SYSTEMS : YOURDON STATEMATE AND THE UML},
	publisher = {MORGAN KUFMANN},
	year = {2003},
	edition = {1}
}