External Links

    Journal: Proc. Natl. Acad. Sci. USA

    Volume 117, Issue 30

    17491 -- 17498David Harel, Assaf Marron, Joseph Sifakis. Autonomics: In search of a foundation for next-generation autonomous systems
    runs on