Regular implementability and its application to stabilization of system behaviors | IEEE Conference Publication | IEEE Xplore