Added existing work and Promela sample models