@article{BBP+11,
title = {Priority scheduling of distributed systems based on model checking },
author = {Basu, Ananda and Bensalem, Saddek and Peled, Doron and Sifakis, Joseph},
year = {2011},
journal = {Formal Methods in System Design},
number = {3},
pages = {229-245},
volume = {39},
team = {DCS, RSD},
}
