Chupac, Lubos, Mudron, . Ivan, Mensik, . Marek. "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 (2013): 93 - 100 pp. https://doi.org/10.5593/sgem2013/bb2.v1/s07.012