FEATURES
  • produced code based on a loop
  • the loop components are time/resources deterministic
  • it implements a finite states machine (generality)