Theory and Real-Time Simulation of Strong-Field Electron Dynamics in Solids at Attosecond Time-Scale