Alechina, Natasha, Logan, Brian, Nga, Nguyen Hoang, Rakib, Abdur, "Verifying resource requirements for distributed rule-based systems", , 2008