Scheduling Timed Modules for Correct Resource Sharing | IEEE Conference Publication | IEEE Xplore