Title: Formal Mechanization of Device Interactions with a Process Algebra