Minsoo Ryu Seongsoo Hong A Period Assignment Algorithm for Real-Time System Design. 34-43 1999 conf/tacas/1999 TACAS http://link.springer.de/link/service/series/0558/bibs/1579/15790034.htm db/conf/tacas/tacas99.html#RyuH99