7.5. Behavioral modeling: Sequential statements Notes | Embedded System BEI-NEW | TU | TABFlux