Weitl, F. and Nakajima, S. (2012) “Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics”, Electronic Communications of the EASST, 46. doi: 10.14279/tuj.eceasst.46.691.