This are the slides I've done after participating in the conference Run Time Verification in Wien, Austria, 2015. I didn't not presented any paper.Read less