Formal Synthesis of RK-397 (Synfacts, 2009)