ACM transactions on embedded computing systems