An approach to verify C&C view architecture with FSP modeling = FSP 모델을 이용한 C&C view architecture의 검증