Modular Verification of Interactive Systems with an Application to Biology