The Matrix of Implied Causation (MIC) for Design and Model Checking