Presented in a workshop before the main S&T 2011 conference.

Presentation