Computation of complete abstractions of quantised systems | IEEE Conference Publication | IEEE Xplore