This case has also been taken from the MOMoT tool website.

Introduction

The case study is the same as the one described by the MOMoT authors. The only difference is our model based apporach to solve it compared to the rule based approach emplyed by the MOMoT tool.