types
  RootClass = autocons system
  |[
  var
        myOtherClassObject : OtherClass = new(OtherClass,"OtherClassObject") ;
        initialized : bool = false
  actions
        obs init = requires initialized = false : initialized := true end
  do
        init ()
  od
  ]| ;
  OtherClass = system
  |[
  var
        initialized : bool = false
  actions
        obs init = requires initialized = false : initialized := true end
  do
        init ()
  od
  ]|
system
        RootClass [] OtherClass