Ijeoma Sandra Irobi Johan Andersson Anders Wall Correctness Criteria for Models' Validation- A Philosophical Perspective. 475-476 2004 conf/msv/2004 MSV/AMCS db/conf/msv/msv2004.html#IrobiAW04