Engineering the usability of visual formalisms: a case study in real time logics. - M. Lusini; Enrico Vicario (AVI, 1998)

Design and Evaluation of a Visual Formalism for Real Time Logics. - M. Lusini; Enrico Vicario (Services and Visualization: Towards User-Friendly Design, 1998)