Glass Box Software Model Checking. - Roberson, Michael (2011)