Team:Tokyo Tech/Modeling/Analysis of C4HSL-dependent Switch