Deriving a logical data model for a system using the RECAST method | IEEE Conference Publication | IEEE Xplore