Textmeddelande: Programmable controllers: theory and implementation