%0 Journal Article %T Safety Verification of Rate-Monotonic Least-Splitting Real-Time Scheduler on Multiprocessor System %A Rezaeian, Amin %A Ghavidel, Abolfazl %A Sedaghat, Yasser %J Journal of Computer and Knowledge Engineering %@ 2538-5453 %D 2017