BIMserver plugin that can do model checking based on (runtime configurable) Java code - View it on GitHub