publication venue for Integrating object-oriented methods and formal methods for requirement engineering. 11:295-299. 2004