M. Balaban, “Interleaving Time and Structure”, Comput. Inform., vol. 17, no. 1, pp. 1–34, Mar. 2012.