[기술해설]ASADAL : A Realtime System Specification and Analysis Environment