Weitl, F.; Nakajima, S. Integrated Model Checking of Static Structure and Dynamic Behavior Using Temporal Description Logics. ECEASST 2012, 46.