Poster Session 9Modelling and Verification, Poster Session