@proceedings{IWPTS-1989,
	address       = "Berlin, Germany",
	title         = "{Proceedings of the Second International Workshop on Protocol Test Systems}",
	year          = 1989,
}