Pages • 1
China War Systems where digital components are intimately coupled with their physical environment — often called cyber-physi- cal systems (CPS) – pose a challenge when we wish to specify their desired behavior. For purely digital computing sys- tems, the programming language or hardware description language itself can su ce. Often, the implementation lan- guage itself.