@Article{AcetoEtAl13,
  author = 	 {Luca Aceto and Ignacio F\'abregas and de Frutos Escrig, David 
                  and Anna Ing\'olfsd\'ottir and Miguel Palomino},
  title = 	 {On the specification of modal systems: a comparison of three
                  frameworks},
  year =         2013,
  journal =      {Science of Computer Programming},
  volume =       78,
  number =       12
}