CRIT2, Workpackage 6 page has been moved to
http://www.cs.put.poznan.pl/mdrozdowski/crit2/