https://123dok.com/ir/docs/formal-specification-evaluation-components-interaction-software-architectures.6378600