Bibliography: Formal verification in industry