Model abstraction experiment