Real-time Development With The Shlaer-mellor Method | IEEE Conference Publication | IEEE Xplore