EFficient and FOrmal Real-Time System analyzer