These models have been created using Soyatec eUML2 (Free Edition).
For installation instructions see http://www.soyatec.com/euml2/installation/