CIC 기반 병렬 임베디드 소프트웨어 설계를 위한 제어 응용 명세 기법