An Extension of the SEMAT Kernel for Representing Teaching and Learning Practices about Embedded Systems | IEEE Conference Publication | IEEE Xplore