@book{22588,
	author = {32},
	title = {TOOL SUPPORT FOR SYSTEM SPECIFICATION, DEVELOPMENT AND VERIFICATION}
}