Koenraad Dedobbeleer - A Formal Model