Phillip Baraona, Perry Alexander. Representing abstract architectures with axiomatic specifications and activation conditions. In 1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA. pages 161-168, IEEE Computer Society, 1997. [doi]
Abstract is missing.