@mastersthesis{Giannakopoulos2012, author = "Giannakopoulos, Theophilos John" title = "Multi-Decision Policy and Policy Combinator Specifications " school = "Worcester Polytechnic Institute" %type = "Thesis" %address = "100 Institute Road, Worcester MA 01609-2280 USA" year = "2012" %month = "February" }