Modular Verification of Interactive Systems with Application to Biology