González, Baral, Cooper, 2002. Modeling Multimedia Displays Using Action Based Temporal Logic, in: . Springer US.. https://doi.org/10.1007/978-0-387-35592-4_11