Modelling with constraints: a bibliographical survey | IEEE Conference Publication | IEEE Xplore