Jedrzej Fulara, Krzysztof Jakubczyk: Practically Applicable Formal Methods. SOFSEM 2010: 407-418