Material for conference workshop on Property and Model based testing