2013-09-19 22:28:59 http://www.cs.kau.se/philwint/pdf/wpes2013.pdf