@article(tba,
 author       = "Rajeev Alur and David L. Dill",
 year         = "1994",
 title        = "A theory of timed automata",
 journal      = "Theor. Comput. Sci.",
 volume       = "126",
 number       = "2",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@inproceedings(fang,
 author       = "Fang Chen and Xueshan Han and Zhiyuan Pan and Li Han",
 year         = "2008",
 title        = "{State Estimation Model and Algorithm Including PMU}",
 booktitle    = "Electric Utility Deregulation and Restructuring and Power Technologies, 2008. DRPT 2008. Third International Conference on",
 pages        = "1097 --1102",
 doi          = "10.1109/DRPT.2008.4523571",
)
@inproceedings(yousu,
 author       = "Yousu Chen and Zhenyu Huang and D. Chavarria-Miranda",
 year         = "2010",
 title        = "Performance evaluation of counter-based dynamic load balancing schemes for massive contingency analysis with different computing environments",
 booktitle    = "Power and Energy Society General Meeting, 2010 IEEE",
 pages        = "1 --6",
 doi          = "10.1109/PES.2010.5589536",
)
@article(minmax,
 author       = "Costas Courcoubetis and Mihalis Yannakakis",
 year         = "1992",
 title        = "Minimum and maximum delay problems in real-time systems",
 journal      = "Form. Methods Syst. Des.",
 volume       = "1",
 number       = "4",
 pages        = "385--415",
 doi          = "10.1007/BF00709157",
)
@inproceedings(tioa,
 author       = "Alexandre David and Kim G. Larsen and Axel Legay and Ulrik Nyman and Andrzej Wasowski",
 year         = "2010",
 title        = "Timed {I/O} automata: a complete specification theory for real-time systems",
 booktitle    = "Proceedings of the 13th ACM international conference on Hybrid systems: computation and control",
 series       = "HSCC '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "91--100",
 doi          = "10.1145/1755952.1755967",
)
@article(paraut,
 author       = "Khaled El-Fakih and Nina Yevtushenko and Sergey Buffalov and Gregor v. Bochmann",
 year         = "2006",
 title        = "Progressive solutions to a parallel automata equation",
 journal      = "Theoretical Computer Science",
 volume       = "362",
 number       = "1–3",
 pages        = "17 -- 32",
 doi          = "10.1016/j.tcs.2006.05.034",
 url          = "http://www.sciencedirect.com/science/article/pii/S0304397506003161",
)
@article(FoxMM,
 author       = "G.C Fox and S.W Otto and A.J.G Hey",
 year         = "1987",
 title        = "{Matrix algorithms on a hypercube I: Matrix multiplication}",
 journal      = "Parallel Computing",
 volume       = "4",
 number       = "1",
 pages        = "17 -- 31",
 doi          = "10.1016/0167-8191(87)90060-3",
 url          = "http://www.sciencedirect.com/science/article/pii/0167819187900603",
)
@inproceedings(gao,
 author       = "Wenzhong Gao and Shaobu Wang",
 year         = "2010",
 title        = "On-line dynamic state estimation of power systems",
 booktitle    = "North American Power Symposium (NAPS), 2010",
 pages        = "1 --6",
 doi          = "10.1109/NAPS.2010.5619951",
)
@inproceedings(gorton,
 author       = "I. Gorton and Zhenyu Huang and Yousu Chen and B. Kalahar and Shuangshuang Jin and D. Chavarria-Miranda and D. Baxter and J. Feo",
 year         = "2009",
 title        = "A High-Performance Hybrid Computing Approach to Massive Contingency Analysis in the Power Grid",
 booktitle    = "e-Science, 2009. e-Science '09. Fifth IEEE International Conference on",
 pages        = "277 --283",
 doi          = "10.1109/e-Science.2009.46",
)
@inproceedings(ca,
 author       = "Zhenyu Huang and Yousu Chen and J. Nieplocha",
 year         = "2009",
 title        = "Massive contingency analysis with high performance computing",
 booktitle    = "Power Energy Society General Meeting, 2009. PES '09. IEEE",
 pages        = "1 --8",
 doi          = "10.1109/PES.2009.5275421",
)
@article(rtss-wip,
 author       = "Peter Hui and Satish Chikkagoudar and Daniel Chavarr\'{i}a-Miranda",
 year         = "2011",
 title        = "Towards a Real-Time Cluster Computing Infrastructure",
 journal      = "IEEE Real-Time Systems Symposium (Work-in-Progress Session)",
 url          = "http://www.cs.wayne.edu/~fishern/Meetings/wip-rtss2011/",
)
@inproceedings(hui-sc,
 author       = "Peter Hui and Barry Lee and Satish Chikkagoudar",
 year         = "2012",
 title        = "Towards Real-Time High Performance Computing for Power Grid Analysis",
 booktitle    = "Proceedings of the Second International Workshop on High Performance Computing, Networking and Analytics for the Power Grid",
 series       = "HiPCNA-PG '12",
 publisher    = "IEEE",
 address      = "Washington, DC, USA",
 note         = "To appear",
)
@inproceedings(mvapich,
 author       = "M.J. Koop and T. Jones and D.K. Panda",
 year         = "2008",
 title        = "MVAPICH-Aptus: Scalable high-performance multi-transport MPI over InfiniBand",
 booktitle    = "Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on",
 pages        = "1 --12",
 doi          = "10.1109/IPDPS.2008.4536283",
)
@article(pfa,
 author       = "P. David Stotts and William Pugh",
 year         = "1994",
 title        = "Parallel finite automata for modeling concurrent software systems",
 journal      = "J. Syst. Softw.",
 volume       = "27",
 number       = "1",
 pages        = "27--43",
 doi          = "10.1016/0164-1212(94)90112-0",
)
@inproceedings(mpi,
 author       = "CORPORATE The MPI Forum",
 year         = "1993",
 title        = "MPI: a message passing interface",
 booktitle    = "Proceedings of the 1993 ACM/IEEE conference on Supercomputing",
 series       = "Supercomputing '93",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "878--883",
 doi          = "10.1145/169627.169855",
)