posting here for application oriented discussion

Hn discuss| model checking slides
fmv.jku.at