Jon G. Hall Lucia Rapanotti Michael Jackson Problem Oriented Software Engineering: Solving the Package Router Control Problem. 226-241 2008 34 IEEE Trans. Software Eng. 2 http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70769 db/journals/tse/tse34.html#HallRJ08