Chupac, Lubos, Mudron, . Ivan, Mensik, . Marek (2013). DESCRIPTION AND DEVELOPMENT SOFTWARE SYSTEMS BY USING TIL SCRIPT AND VDM. SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 13th SGEM GeoConference on INFORMATICS, GEOINFORMATICS AND REMOTE SENSING, 93 - 100 pp. https://doi.org/10.5593/sgem2013/bb2.v1/s07.012