Teensy is awesome and a great choice. Personally I would recommend an ARM Cortex-M chip now anyway over Atmel AVR's. They're usually much cheaper, more powerful, and use less power. Arduino is a very fine choice too, even for production stuff, and they're supporting more and more ARM/non-AVR...