Rayside, D.; Chang, F.; Dennis, G.; Seater, R.; Jackson, D. Automatic Visualization of Relational Logic Models. ECEASST 2007, 7.