add images and blog post on model checking