@misc{emlan+jezyk+modelowania+i+formalnej+weryfikacji+oprogramowania+systemow+wbudowanych,
    author = {Krystosik, Artur},
    title = {EMLAN: język modelowania i formalnej weryfikacji oprogramowania systemów wbudowanych},
    journal = {Czasopismo Techniczne. Informatyka},
    address = {Kraków},
    publisher = {<a href=\"http://www.wydawnictwo.pk.edu.pl/\" target=\"_blank\">Wydawnictwo PK</a>},
    date = {2008},
    number = {R. 105, Z. 24, 1-I}
}