Serviceability Assessment Method of Stay Cables with Vibration Control Using First-Passage Probability. (6th May 2019)