-- Examples from SMV distribution with some models scaled up.

  Source: SMV 2.4.2 release
  Recommended SMV flag: -f

