ISIM'07 Information Systems and Formal Models : 10th International Conference on Information System Implementation and Modeling. 2nd International Workshop on Formal Models WFM'07 - Kelemenová, Alica; Kolář, Dušan; Meduna, Alexander; Zendulka, Jaroslav (Slezská universita v Opavě, 2007)