Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre