-- Examples from SMV distribution.

  Source: SMV 2.4.4 release
  Recommended SMV flag: None
