例文For planets orbiting eclipsing stellar binaries ( such as the detected systems ), the analytical expression of the transit probability in a finite observation time has been obtained.