A Georeferencing Approach to Real-time Virtual Aid to Navigation Verification
FRAM in FSA—Introducing a Function-Based Approach to the Formal Safety Assessment Framework
Validating precipitation forecasts using remote sensor synergy: A case study approach