Using real-time system design methods to integrate SMPS control software with application software | IEEE Conference Publication | IEEE Xplore