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