Reports BCF from modelchecking feature in BIMserver - View it on GitHub