and Analysis of Partial Behavior Models