"Modeling Safe Operating Area in Hardware Description Languages."

Leonid B. Goldgeisser, Ernst Christen, Zhichao Deng (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics