Detecting Emergent Behavior in Scenario-Based Specifications using a Probabilistic Model | IEEE Conference Publication | IEEE Xplore