Specification of Electronic Toy Pets