KRYSTOSIK, Artur. EMLAN: język modelowania i formalnej weryfikacji oprogramowania systemów wbudowanych. 2008.