This paper is work in progress. It is based on my master’s thesis.

Presentation slides here