Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco, "Symbolic model checking for one-resource RB+-ATL", , 2015