QP/C: Software Architecture Specification