WP034: Model-Based Constructibility Analysis: The MOCA System