Wiebe van der Hoek John-Jules Ch. Meyer Jan Treur Formal semantics of meta-level architectures: Temporal epistemic reflection. 1293-1317 2003 18 Int. J. Intell. Syst. 12 http://dx.doi.org/10.1002/int.10139 db/journals/ijis/ijis18.html#HoekMT03