@unpublished{ictcs17_model_checking,
  title = "A model checker for interval temporal logic over
           finite structures",
  author = "E. Cominato and Della Monica, D. and A. Montanari and
            G. Sciavicco",
  note = "18th Italian Conference on Theoretical
            Computer Science (ICTCS)",
  year = "2017"
}