Title: Preliminary digital control system design for the Petite Amateur Navy Satellite (PANSAT)