@book{ganssle2008embedded,
  title={Embedded Systems},
  author={Ganssle, J.G. and Ball, S.R.},
  isbn={9780750686259},
  lccn={2007038488},
  series={Computer languages, systems \& structures},
  url={https://books.google.es/books?id=-U\_Kt\_8EpuwC},
  year={2008},
  publisher={Elsevier/Newnes}
}


@book{hallinan2010embedded,
  title={Embedded Linux Primer: A Practical Real-World Approach},
  author={Hallinan, C.},
  isbn={9780137061105},
  series={Prentice Hall Open Source Software Development Series},
  url={https://books.google.es/books?id=wT0\_fkfLi7gC},
  year={2010},
  publisher={Pearson Education}
}

@book{flynn2011computer,
  title={Computer System Design: System-on-Chip},
  author={Flynn, M.J. and Luk, W.},
  isbn={9781118009918},
  url={https://books.google.es/books?id=QXtyqHryAL4C},
  year={2011},
  publisher={Wiley}
}

@book{holt2014embedded,
  title={Embedded Operating Systems: A Practical Approach},
  author={Holt, A. and Huang, C.Y.},
  isbn={9781447166030},
  series={Undergraduate Topics in Computer Science},
  url={https://books.google.es/books?id=M7HBBAAAQBAJ},
  year={2014},
  publisher={Springer London}
}

@book{jean2002microc,
  title={MicroC/OS-II: The Real Time Kernel},
  author={Jean J. Labrosse},
  isbn={9781578201037},
  lccn={2002281934},
  series={Meets requirements for safety-critical systems},
  url={https://books.google.es/books?id=exHUsQoEgD4C},
  year={2002},
  publisher={Taylor \& Francis}
}

@book{bovet2005understanding,
  title={Understanding the Linux Kernel},
  author={Bovet, D.P. and Cesati, M.},
  isbn={9780596554910},
  url={https://books.google.es/books?id=h0lltXyJ8aIC},
  year={2005},
  publisher={O'Reilly Media}
}

@book{whitaker2006ac,
  title={AC Power Systems Handbook, Third Edition},
  author={Whitaker, J.C.},
  isbn={9781420005813},
  series={Electronics Handbook Series},
  url={https://books.google.sk/books?id=a988UyrJttYC},
  year={2006},
  publisher={CRC Press}
}