Automatic rule verification for digital building permits - Arias Vanegas, Juan Sebastian (2022)