Dynamic Scheduling And Synchronization Synthesis Of Concurrent Digital Systems Under System-level Constraints | IEEE Conference Publication | IEEE Xplore