Text this: Diseño y verificación de un sistema embebido utilizando System C