You are about to access our book library "Architecture-Based Operations Analysis: An Extension of Classical Operations Analysis full version" .