Scheduling hardware/software systems using symbolic techniques | IEEE Conference Publication | IEEE Xplore