Using SDL to model an object-oriented real-time software architectural design | IEEE Conference Publication | IEEE Xplore