Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation