An approach for systematic behavioral modeling of micro systems | IEEE Conference Publication | IEEE Xplore