OSSS methodology - system-level design and synthesis of embedded HW/SW systems in C++ | IEEE Conference Publication | IEEE Xplore