publication venue for A Theory for Requirements Specification and Architecture Design of Multi-Functional Software Systems 2006