SPIN을 이용한 차량용 MOST Network Service 프로토콜 스택 정형검증