"Modular Verification of Reconfigurable Components."

Aleksandra Tesanovic, Simin Nadjm-Tehrani, Jörgen Hansson (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics