Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra. - Sujeong U; Gihwan Cho; Moonkun Lee (FCS, 2008)