C. H. Emani et al., "An Approach for Automatic Formalization of Business Rules", in Proc. of the 33rd CIB W78 Conf. (Int. Council for Research and Innovation in Building and Construction), Brisbane , ITC Digital library , 2016