@inproceedings{CBSE-2003-DijkmanAQ,
	address       = "Portland, Oregon, USA",
	author        = "Remco M. Dijkman and JoãoPaulo Andrade Almeida and Dick A.C. Quartel",
	booktitle     = "{Proceedings of the Sixth ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction}",
	pages         = "8",
	title         = "{Verifying the Correctness of Component-Based Applications that Support Business Processes}",
	year          = 2002,
}