Practical Uml-Based Rigorous Development Methods - Countering or Integrating the Extremists, Workshop of the Puml-Group Held Together with the «Uml»2001, October 1St, 2001 in Toronto, Canada