Formal specification and analysis of software architectures using the chemical abstract machine model | IEEE Journals & Magazine | IEEE Xplore