A formal refinement framework for the systems modeling language. - Petrus Jacobus Jacobs (2015)