[Context & Motivation] Requirements specification and analysis is widely applied to ensure the correctness of industrial systems in safety critical domains. Requirements are often initially written in natural language, which is highly ambiguous, and as a second step transformed into a language with rigorous semantics for formal analysis. [Question/problem] In this paper, we report on our experience in requirements authoring and analysis using the Formal Requirement Elicitation Tool (FRET), as well as run-time monitor generation, on an industrial case study of a Lift-Plus-Cruise concept aircraft. [Principal ideas/results] We study the authoring of requirements directly in the structured language of FRET without a prior definition of the same requirements in natural language. We focus on requirements describing state machines and discuss the challenges that we faced, in terms of creating requirements and generating monitors. We demonstrate how realizability, i.e., checking whether a requirements specification can be implemented, is crucial for understanding temporal interdependencies among requirements. [Contribution] Our study is the first complete attempt at using FRET to create industrial, realizable requirements from scratch and generate run-time monitors. Insight from lessons learned was materialized into new features in the FRET and JKind analysis frameworks.