Packages fr.lri.insitu.FlowStates fr.lri.insitu.FlowStates.device fr.lri.insitu.FlowStates.events fr.lri.insitu.FlowStates.sm fr.lri.insitu.FlowStates.transitions