Paper to be submitted to CMAC SE 2013.