Thiết Kế Hệ Thống Nhúng - chương 4 kỹ thuật lập trình nhúng - bài 8 biểu diễn trạng thái và mô hình hóa quá trình