Lubos Chupac. 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. https://doi.org/10.5593/sgem2013/bb2.v1/s07.012