• ComposedPS-1
  • Area.rs
  • BinaryActuator.rs
  • BinarySensor.rs
  • CtrlPanel.rs
  • Door.rs
  • EnteredValue.rs
  • FacMan.rs
  • Floor.rs
  • Global.rs
  • HallwaySection.rs
  • Interval.rs
  • Light.rs
  • Office
  • RangeActuator.rs
  • RangeSensor.rs
  • Room.rs
  • Settings.rs
  • StairCase.rs
  • ThreePointActuator.rs
  • ToggledActuator.rs
  • WindowSection.rs
• DecompPartTmpl.tex
• DecompPart_1-1 ( .ps .tex)
• DecompPart_2-1 ( .ps .tex)
• EffortForComposition-1 ( .ps .tex)
• EffortForDecomposition-1 ( .ps .tex)
• EffortForDecompositionTmpl.tex
• ReviewedIndividualFormalization_1-1
  • EffortForIndivFormaliz-1.tex
  • IndividualFormalization-1
    • IndPS.txt
• ReviewedIndividualFormalization_2-1
  • EffortForIndivFormaliz-1 ( .ps .tex)
  • IndividualFormalization-1
    • indPS ( .ps .txt)