F. Weitl and S. Nakajima, “Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics”, eceasst, vol. 46, Mar. 2012.