Could someone give me a good formal definition of what an embedded system is? Is it a microprocessor? If not, then does every embedded system have a microprocessor in it? Could anyone give me some examples of what is and what is not an embedded system?