Stephen Longfield Jr., Rajit Manohar: Inverting Martin Synthesis for Verification. ASYNC 2013: 150-157