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