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