D. Rayside, F. Chang, G. Dennis, R. Seater, and D. Jackson, “Automatic Visualization of Relational Logic Models”, ECEASST, vol. 7, Sep. 2007.